Proof PR

Suppress simplifier warnings in `corres_rewrite` #2667

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (ARM)	3h 21m 35s
All (AARCH64)	1h 40m 20s
All (ARM_HYP)	3h 1m 24s
All (RISCV64)	2h 53m 43s
All (X64)	3h 22m 16s
	14h 19m 18s