Proof PR

clib: move `ccorres_cond_both'` to `CCorresLemmas` #3184

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	1h 15m 48s
All (ARM_HYP)	1h 11m 40s
All (ARM)	1h 20m 18s
All (RISCV64)	2h 2m 22s
All (X64)	1h 30m 38s
	7h 20m 46s