Proof PR

Update explicit FPU specifications for det_ext changes #3129

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	18m 11s
All (ARM)	17m 12s
All (ARM_HYP)	20m 32s
All (RISCV64)	15m 49s
All (X64)	52m 36s
	2h 4m 20s