Monads: refactor reader_option and nondet connection #2735

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	1h 45m 7s
All (ARM)	3h 18m 0s
All (ARM_HYP)	3h 6m 23s
All (RISCV64)	3h 4m 19s
All (X64)	3h 24m 45s
	14h 38m 34s