docker-ci

hilbert axioms and geometry theorems #711

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-mosml	42m 0s
build-otknl	2h 0m 49s
build-stdknl	58m 28s
build-expk	59m 36s
	4h 40m 53s