More Nondet Monad improvements #2584

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	1h 10m 58s
All (AARCH64)	1h 10m 58s
All (AARCH64)	1h 10m 58s
All (ARM_HYP)	2h 14m 41s
All (ARM_HYP)	16s
All (ARM_HYP)	3h 46m 22s
All (RISCV64)	1h 12m 40s
All (RISCV64)	15s
All (RISCV64)	3h 8m 36s
All (ARM)	1h 12m 41s
All (ARM)	16s
All (ARM)	3h 44m 15s
All (X64)	2h 14m 41s
All (X64)	17s
All (X64)	4h 37m 7s
	1d 1h 45m 1s