docker-ci-for-pr

Extract "Boehm_construction" from the proof of subtree_equiv_lemma #550

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-expk	56m 59s
build-stdknl	55m 14s
build-mosml	41m 40s
build-otknl	2h 11m 9s
	4h 45m 2s