Java CI

Updated org.jdrupes.mdoclet to version 4.2.0 #1526

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	27s
build-linux	4m 53s
build-macos	1m 2s
build-windows	2m 2s
	8m 24s