Minor Nondet Monad improvements #2552

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (RISCV64)	1h 21m 4s
All (RISCV64)	3h 0m 3s
All (RISCV64)	3h 0m 3s
All (AARCH64)	1h 10m 52s
All (AARCH64)	1h 10m 52s
All (AARCH64)	1h 10m 52s
All (ARM)	1h 21m 2s
All (ARM)	3h 43m 12s
All (ARM)	3h 43m 12s
All (ARM_HYP)	1h 21m 4s
All (ARM_HYP)	3h 34m 20s
All (ARM_HYP)	3h 34m 20s
All (X64)	1h 21m 4s
All (X64)	1h 32m 34s
All (X64)	4h 6m 59s
	1d 11h 11m 33s