Skip to content

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

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

Triggered via pull request September 25, 2024 08:11
@lsf37lsf37
synchronize #815
wfi-wfe-traps
Status Success
Total duration 1m 1s
Artifacts

pr.yml

on: pull_request
Gitlint
50s
Gitlint
Trailing Whitespace
36s
Trailing Whitespace
Portable Shell
32s
Portable Shell
Style
45s
Style
Fit to window
Zoom out
Zoom in