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 Expired
1.53 MB
kernel-builds-RISCV64 Expired
1.23 MB
logs-AARCH64 Expired
154 MB
logs-ARM Expired
209 MB
logs-ARM_HYP Expired
192 MB
logs-RISCV64 Expired
185 MB
logs-X64 Expired
175 MB