More Nondet Monad improvements #2560

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	1h 1m 24s
All (AARCH64)	23m 21s
All (AARCH64)	1h 9m 48s
All (ARM)	58m 34s
All (ARM)	23m 20s
All (ARM)	3h 31m 13s
All (ARM_HYP)	1h 1m 23s
All (ARM_HYP)	3h 31m 45s
All (ARM_HYP)	3h 31m 45s
All (RISCV64)	58m 34s
All (RISCV64)	3h 5m 11s
All (RISCV64)	3h 5m 11s
All (X64)	58m 33s
All (X64)	23m 19s
All (X64)	4h 11m 54s
	1d 4h 15m 15s