Proof PR

More progress on completing the trace monad rule set #2711

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	1h 47m 45s
All (ARM)	3h 21m 11s
All (ARM_HYP)	3h 12m 54s
All (RISCV64)	2h 58m 14s
All (X64)	3h 54m 44s
	15h 14m 48s