Skip to content

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

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 #3018

Triggered via pull request September 2, 2024 20:19
@lsf37lsf37
opened #815
Status Success
Total duration 3h 16m 4s
Artifacts 7

proof.yml

on: pull_request_target
Matrix: All
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
kernel-builds-ARM
1.53 MB
kernel-builds-RISCV64
1.23 MB
logs-AARCH64
154 MB
logs-ARM
209 MB
logs-ARM_HYP
192 MB
logs-RISCV64
185 MB
logs-X64
175 MB