Skip to content

refinement proof for AArch64 #2571

refinement proof for AArch64

refinement proof for AArch64 #2571

Triggered via pull request August 31, 2023 08:15
@lsf37lsf37
synchronize #668
Status Success
Total duration 4h 16m 45s
Artifacts 6

proof.yml

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

Artifacts

Produced during runtime
Name Size
kernel-builds Expired
21.6 MB
logs-AARCH64 Expired
54 MB
logs-ARM Expired
128 MB
logs-ARM_HYP Expired
117 MB
logs-RISCV64 Expired
112 MB
logs-X64 Expired
106 MB