Skip to content

lib/monads: reorder files in ROOT #524

lib/monads: reorder files in ROOT

lib/monads: reorder files in ROOT #524

Triggered via push August 9, 2023 02:07
Status Success
Total duration 4h 33m 58s
Artifacts 6

proof-deploy.yml

on: push
Freeze Code
28s
Freeze Code
Matrix: Rebase platform branches
Matrix: Proof
Deploy manifest
2m 1s
Deploy manifest
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