Proof PR

Proofs for SGI API #2804

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	3h 15m 32s
All (AARCH64)	3h 15m 32s
All (ARM)	3h 20m 28s
All (ARM)	3h 20m 28s
All (ARM_HYP)	8m 34s
All (ARM_HYP)	3h 36m 31s
All (RISCV64)	2h 50m 31s
All (RISCV64)	2h 50m 31s
All (X64)	3h 7m 14s
All (X64)	3h 7m 14s
	1d 4h 52m 35s