Skip to content

Enlarge the trace monad rule set for RG logic #2899

Enlarge the trace monad rule set for RG logic

Enlarge the trace monad rule set for RG logic #2899

Triggered via pull request March 14, 2024 04:49
Status Success
Total duration 53s
Artifacts

push.yml

on: pull_request
Fit to window
Zoom out
Zoom in