docker-ci

Move to examples/process-algebras #2101

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-mosml	28m 51s
build-stdknl	56m 45s
build-expk	59m 18s
build-otknl	2h 0m 44s
	4h 25m 38s