Skip to content
Proof PR

Update ARM and AARCH64 AInvs for explicit FPU changes #3154

Sign in to view logs

Update ARM and AARCH64 AInvs for explicit FPU changes

Update ARM and AARCH64 AInvs for explicit FPU changes #3154

Run time

Learn about OS pricing on GitHub Actions
Job Run time
All (AARCH64)
1h 8m 55s
All (ARM)
1h 38m 15s
All (ARM_HYP)
52m 25s
All (RISCV64)
1h 1m 34s
All (X64)
50m 12s
5h 31m 21s