Java CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Java 11 build	3m 37s
Java 17 build	4m 34s
Java 21 build	4m 21s
Java 8 build	2m 40s
	15m 12s