Monads: refactor reader_option and nondet connection #2722

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	11m 37s
All (ARM_HYP)	13m 30s
All (ARM)	16m 7s
All (RISCV64)	14m 7s
All (X64)	14m 26s
	1h 9m 47s