CI

DEVX-772: switching java to 17 for javadoc and tests #7546

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Integration tests	30m 35s
dependency-submission	10s
Docs test build	29s
	31m 14s