Skip to content

Enlarge the trace monad rule set for RG logic #2864

Enlarge the trace monad rule set for RG logic

Enlarge the trace monad rule set for RG logic #2864

Triggered via pull request February 27, 2024 07:22
Status Success
Total duration 31s
Artifacts

push.yml

on: pull_request
Fit to window
Zoom out
Zoom in