docker-ci-for-pr

Remove mutability from theorem proof field #390

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-stdknl	1h 8m 46s
build-mosml	38m 59s
build-expk	1h 11m 16s
build-otknl	1h 17m 17s
	4h 16m 18s