Java CI

Housekeeping: allow more jdks to be used, fixes #1314 #81

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Java 21 build	4m 23s
Java 11 build	3m 39s
Java 17 build	4m 23s
Java 8 build	2m 41s
Java 25 build	4m 13s
	19m 19s