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

Merge Yosys@0.41+8 into krys/refactor-workflows #143

Sign in to view logs

Merge Yosys@0.41+8 into krys/refactor-workflows

Merge Yosys@0.41+8 into krys/refactor-workflows #143

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-verific
3m 57s
3m 57s