Proof PR

Update specs to use semi-lazy FPU switching #3036

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	19m 23s
All (ARM)	16m 47s
All (ARM_HYP)	17m 31s
All (RISCV64)	15m 35s
All (X64)	16m 32s
	1h 25m 48s