docker-ci-for-pr

[real] sup/inf lemmas using set notations #488

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-stdknl	53m 53s
build-otknl	2h 0m 39s
build-mosml	41m 4s
build-expk	56m 1s
	4h 31m 37s