Skip to content

Enlarge the prefix_refinement rule set #2778

Enlarge the prefix_refinement rule set

Enlarge the prefix_refinement rule set #2778

Triggered via pull request March 19, 2024 09:25
@corlewiscorlewis
synchronize #738
Status Failure
Total duration 3h 35m 58s
Artifacts 5

proof.yml

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

Annotations

2 errors
All (AARCH64)
Action aws-proofs failed.
All (ARM_HYP)
Action aws-proofs failed.

Artifacts

Produced during runtime
Name Size
kernel-builds-ARM Expired
1.53 MB
kernel-builds-RISCV64 Expired
1.23 MB
logs-ARM Expired
206 MB
logs-RISCV64 Expired
183 MB
logs-X64 Expired
173 MB