Skip to content

Enlarge the trace monad rule set for RG logic #2959

Enlarge the trace monad rule set for RG logic

Enlarge the trace monad rule set for RG logic #2959

Triggered via pull request March 26, 2024 09:58
Status Success
Total duration 26s
Artifacts

push.yml

on: pull_request
Fit to window
Zoom out
Zoom in