Move NUM_FLOOR/NUM_CEILING to realaxTheory (#1256) #465

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-expk	1h 29m 0s
build-mosml	36m 34s
build-stdknl	1h 28m 46s
build-otknl	2h 4m 9s
	5h 38m 29s