Update specs to use semi-lazy FPU switching #3037

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	15m 55s
All (AARCH64)	15m 55s
All (ARM)	26m 56s
All (ARM)	26m 56s
All (ARM_HYP)	31m 4s
All (ARM_HYP)	31m 4s
All (RISCV64)	24m 59s
All (RISCV64)	24m 59s
All (X64)	51m 25s
All (X64)	3m 13s
	4h 12m 26s