pr-verify

Fix #4426: preserve JDK_HOME priority when sorting JDKs #2199

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
pr-verify-job (macos-latest)	2m 46s
pr-verify-job (ubuntu-latest)	3m 20s
	6m 6s