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

Only build yosys-abc usage docs when ABCEXTERNAL is not set #264

Sign in to view logs

Only build yosys-abc usage docs when ABCEXTERNAL is not set

Only build yosys-abc usage docs when ABCEXTERNAL is not set #264

Run time

Learn about OS pricing on GitHub Actions
Job Run time
pre_job
5s
test-verific
4m 1s
4m 6s