Java CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Java 8 build	2m 42s
Java 17 build	4m 53s
Java 21 build	4m 26s
Java 11 build	3m 40s
	15m 41s