Fix hol-mode.sml references broken by 73921f89dd6 #565

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-otknl	2h 0m 10s
build-stdknl	1h 11m 4s
build-expk	1h 13m 35s
build-mosml	39m 33s
	5h 4m 22s