Skip to content

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

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

Triggered via pull request September 25, 2024 08:11
@lsf37lsf37
synchronize #815
Status Success
Total duration 2h 58m 58s
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 Expired
1.53 MB
kernel-builds-RISCV64 Expired
1.23 MB
logs-AARCH64 Expired
153 MB
logs-ARM Expired
209 MB
logs-ARM_HYP Expired
192 MB
logs-RISCV64 Expired
185 MB
logs-X64 Expired
175 MB