Skip to content
PR

Progress on completing the trace monad rule set #2268

Sign in to view logs

Progress on completing the trace monad rule set

Progress on completing the trace monad rule set #2268

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Gitlint
43s
Portable Shell
30s
Theory Linter
40s
Style
49s
Trailing Whitespace
33s
3m 15s