CI

Update documentation #778

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
CI Build linux jdk17	1m 14s
CI Build macos jdk17	1m 24s
CI Build windows jdk17	4m 0s
publish	1m 39s
	8m 17s