Monads: refactor reader_option and nondet connection #2739

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	12m 3s
All (ARM)	3h 33m 18s
All (ARM_HYP)	12m 56s
All (RISCV64)	2h 54m 12s
All (X64)	12m 13s
	7h 4m 42s