Skip to content
PR

Progress on completing the trace monad rule set #2259

Sign in to view logs

Progress on completing the trace monad rule set

Progress on completing the trace monad rule set #2259

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Gitlint
45s
Portable Shell
27s
Style
51s
Theory Linter
43s
Trailing Whitespace
34s
3m 20s