Skip to content
Proof PR

arm-hyp+aarch64 spec+proof: make generic in CONFIG_DISABLE_WFI_WFE_TRAPS #3031

Sign in to view logs

arm-hyp+aarch64 spec+proof: make generic in CONFIG_DISABLE_WFI_WFE_TRAPS

arm-hyp+aarch64 spec+proof: make generic in CONFIG_DISABLE_WFI_WFE_TRAPS #3031

Run time

Learn about OS pricing on GitHub Actions
Job Run time
All (AARCH64)
2h 35m 8s
All (ARM)
2h 58m 45s
All (ARM_HYP)
2h 38m 29s
All (RISCV64)
2h 42m 58s
All (X64)
2h 43m 21s
13h 38m 41s