Skip to content

github: make sure artifact names are unique #2703

github: make sure artifact names are unique

github: make sure artifact names are unique #2703

Triggered via pull request February 8, 2024 08:31
@lsf37lsf37
opened #714
Status Success
Total duration 14m 58s
Artifacts 5

proof.yml

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

Artifacts

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