monads: synchronise with rt branch #2527

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	1h 8m 15s
All (ARM)	3h 39m 8s
All (ARM_HYP)	3h 35m 44s
All (RISCV64)	3h 1m 55s
All (X64)	4h 24m 57s
	15h 49m 59s