Proof PR

x64 crefine: proof update after change to C #3049

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (ARM)	17m 19s
All (ARM)	17m 19s
All (ARM_HYP)	15m 14s
All (ARM_HYP)	15m 14s
All (AARCH64)	14m 6s
All (AARCH64)	14m 6s
All (RISCV64)	1h 59m 52s
All (RISCV64)	1h 59m 52s
All (X64)	1h 18m 18s
All (X64)	2h 19m 44s
	9h 11m 4s