Skip to content
Proof PR

Progress on completing the trace monad rule set #2561

Sign in to view logs

Progress on completing the trace monad rule set

Progress on completing the trace monad rule set #2561

Run time

Learn about OS pricing on GitHub Actions
Job Run time
All (AARCH64)
1h 7m 7s
All (ARM)
3h 23m 4s
All (ARM_HYP)
3h 51m 50s
All (RISCV64)
3h 5m 47s
All (X64)
4h 10m 15s
15h 38m 3s