CI

add some comments to document the changes #1539

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci-2-13	5m 49s
ci-2-12	5m 39s
ci-docker	12m 17s
publish-jar	0s
publish-docker	0s
	23m 45s