Update specs to use semi-lazy FPU switching #3034

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	18m 41s
All (ARM)	15m 27s
All (ARM_HYP)	21m 35s
All (RISCV64)	14m 52s
All (X64)	14m 35s
	1h 25m 10s