Proof PR

Minor improvements to CRefine #2655

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	13m 4s
All (ARM)	1h 27m 39s
All (ARM_HYP)	1h 29m 21s
All (RISCV64)	1h 26m 51s
All (X64)	1h 43m 6s
	6h 20m 1s