Skip to content

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

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

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

Triggered via pull request February 25, 2024 18:38
@lsf37lsf37
synchronize #723
Status Failure
Total duration 3h 34m 7s
Artifacts 4

proof.yml

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

Annotations

1 error
All (ARM_HYP)
Action aws-proofs failed.

Artifacts

Produced during runtime
Name Size
logs-AARCH64 Expired
136 MB
logs-ARM Expired
204 MB
logs-RISCV64 Expired
180 MB
logs-X64 Expired
170 MB