Skip to content
copilot-verifier

Better distinguish between durable and non-durable proof goals. Refs #51. #44

Sign in to view logs

Better distinguish between durable and non-durable proof goals. Refs #51.

Better distinguish between durable and non-durable proof goals. Refs #51. #44

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-22.04, 8.10.7, 3.10.2.0)
25m 43s
build (ubuntu-22.04, 9.2.8, 3.10.2.0)
19m 49s
build (ubuntu-22.04, 9.4.8, 3.10.2.0)
20m 21s
1h 5m 53s