Stage work on agree_upto_lemma #1811

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-mosml	28m 15s
build-expk	1h 11m 57s
build-otknl	2h 0m 11s
build-stdknl	1h 11m 6s
	4h 51m 29s