tests: remove -seq 1 from sat with -tempinduct where possible #1094
georgerennietest-verific.yml
on: pull_request
pre-job
7s
test-verific
12m 51s
Annotations
2 warnings
|
pre-job
HttpError: Resource not accessible by integration
|
|
pre-job
Failed to cancel https://github.com/YosysHQ/yosys/actions/runs/11164100372
|