Monads: improve style and consistency of nondet and trace #2591

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (ARM)	1s
All (AARCH64)	1h 12m 37s
All (RISCV64)	1s
All (ARM_HYP)	1s
All (X64)	1s
	1h 12m 41s