Skip to content
PR

Enlarge the trace monad rule set for RG logic #2493

Sign in to view logs

Enlarge the trace monad rule set for RG logic

Enlarge the trace monad rule set for RG logic #2493

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Gitlint
39s
Portable Shell
29s
Style
45s
Theory Linter
35s
Trailing Whitespace
32s
3m 0s