Minor Nondet Monad improvements #2548

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	1h 6m 36s
All (ARM)	3h 25m 17s
All (ARM_HYP)	3h 54m 14s
All (RISCV64)	13m 4s
All (X64)	12m 44s
	8h 51m 55s