docker-ci-for-pr

Improved subtree_equiv_lemma without subtree_equiv' #546

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-expk	56m 32s
build-mosml	40m 21s
build-stdknl	55m 43s
build-otknl	2h 11m 52s
	4h 44m 28s