Monads: refactor reader_option and nondet connection #2424

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Gitlint	31s
Portable Shell	30s
Style	37s
Theory Linter	30s
Trailing Whitespace	28s
	2m 36s