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

verific: Add bottom and top bound properties to wire #689

Sign in to view logs

verific: Add bottom and top bound properties to wire

verific: Add bottom and top bound properties to wire #689

Run time

Learn about OS pricing on GitHub Actions
Job Run time
pre_job
4s
test-verific
11m 21s
11m 25s