docker-ci

Merge pull request #1358 from HOL-Theorem-Prover/sha2 #662

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-otknl	2h 2m 33s
build-expk	56m 14s
build-stdknl	54m 49s
build-mosml	41m 2s
	4h 34m 38s