docker-ci

Correct compile-time error in Listener.sml #658

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-otknl	2h 2m 28s
build-expk	56m 55s
build-mosml	41m 11s
build-stdknl	55m 14s
	4h 35m 48s