Enlarge the trace monad rule set for RG logic #2733

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	1h 44m 26s
All (AARCH64)	1h 44m 26s
All (ARM)	3h 30m 43s
All (ARM)	3h 30m 43s
All (ARM_HYP)	1h 52m 24s
All (ARM_HYP)	3h 7m 1s
All (RISCV64)	3h 2m 52s
All (RISCV64)	3h 2m 52s
All (X64)	3h 33m 57s
All (X64)	3h 33m 57s
	1d 4h 43m 21s