Java CI

Merge remote-tracking branch 'upstream/main' #1

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-checks (11)	12m 7s
build-javadoc (11)	3m 30s
build-checks (17)	12m 13s
build-javadoc (17)	3m 31s
build-checks (21)	11m 25s
build-javadoc (21)	3m 27s
core-tests (11)	10m 52s
core-tests (17)	10m 56s
core-tests (21)	11m 7s
	1h 19m 8s