Progress on completing the trace monad rule set #2282

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Gitlint	38s
Portable Shell	31s
Trailing Whitespace	33s
Style	50s
Theory Linter	47s
	3m 19s