docker-ci

Stage work on (full) agree_upto_lemma #1933

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-otknl	2h 6m 47s
build-stdknl	40m 13s
build-mosml	28m 9s
build-expk	40m 43s
	3h 55m 52s