Skip to content

Enlarge the trace monad rule set for RG logic #2757

Enlarge the trace monad rule set for RG logic

Enlarge the trace monad rule set for RG logic #2757

Triggered via pull request March 14, 2024 10:17
@corlewiscorlewis
synchronize #721
Status Success
Total duration 3h 8m 10s
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
151 MB
logs-ARM Expired
206 MB
logs-ARM_HYP Expired
188 MB
logs-RISCV64 Expired
182 MB
logs-X64 Expired
172 MB