Skip to content
Run cbmc_verify

Merge pull request #17 from oreparaz/oscar/roughtime-deprecation #20

Sign in to view logs

Merge pull request #17 from oreparaz/oscar/roughtime-deprecation

Merge pull request #17 from oreparaz/oscar/roughtime-deprecation #20

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cmbc_verify
4m 4s
4m 4s