docker-ci

Myhill-Nerode second lemma #648

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-expk	55m 38s
build-otknl	2h 1m 16s
build-stdknl	55m 43s
build-mosml	41m 7s
	4h 33m 44s