Skip to content
Proof PR

Enlarge the trace monad rule set for RG logic #2733

Sign in to view logs

Enlarge the trace monad rule set for RG logic

Enlarge the trace monad rule set for RG logic #2733

Re-run triggered February 28, 2024 07:20
@corlewiscorlewis
#721
Status Success
Total duration 3h 7m 12s
Artifacts 7

proof.yml

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

Artifacts

Produced during runtime
Name Size
logs-ARM_HYP Expired
188 MB