Skip to content

arm-hyp+aarch64 haskell: add VCPURegVMPIDR(_EL2) #2752

arm-hyp+aarch64 haskell: add VCPURegVMPIDR(_EL2)

arm-hyp+aarch64 haskell: add VCPURegVMPIDR(_EL2) #2752

Triggered via pull request March 13, 2024 18:28
@lsf37lsf37
synchronize #723
Status Success
Total duration 3h 28m 9s
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
149 MB
logs-ARM Expired
204 MB
logs-ARM_HYP Expired
187 MB
logs-RISCV64 Expired
180 MB
logs-X64 Expired
170 MB