Update specs to use semi-lazy FPU switching #3038

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	16m 11s
All (ARM)	23m 50s
All (ARM_HYP)	26m 30s
All (RISCV64)	21m 32s
All (X64)	18m 17s
	1h 46m 20s