Skip to content

More progress on completing the trace monad rule set #2651

More progress on completing the trace monad rule set

More progress on completing the trace monad rule set #2651

Re-run triggered November 14, 2023 07:27
Status Success
Total duration 3h 18m 15s
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.4 MB
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