docker-ci-for-pr

Add note to Dev. Manual to run cleanall #265

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-mosml	35m 34s
build-stdknl	1h 6m 24s
build-otknl	2h 0m 23s
build-expk	1h 9m 25s
	4h 51m 46s