Minor improvements to CRefine #2811

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (ARM)	1h 22m 5s
All (ARM)	1h 22m 5s
All (AARCH64)	32m 25s
All (AARCH64)	1h 30m 46s
All (ARM_HYP)	1h 24m 18s
All (ARM_HYP)	1h 24m 18s
All (RISCV64)	16m 48s
All (RISCV64)	1h 23m 34s
All (X64)	32m 27s
All (X64)	1h 48m 1s
	11h 36m 47s