Skip to content
Build and run tests with Verific (Linux)

tests: remove -seq 1 from sat with -tempinduct where possible #1094

Sign in to view logs

tests: remove -seq 1 from sat with -tempinduct where possible

tests: remove -seq 1 from sat with -tempinduct where possible #1094

Run time

Learn about OS pricing on GitHub Actions
Job Run time
pre-job
7s
test-verific
12m 51s
12m 58s