pr-verify

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
pr-verify-job (ubuntu-latest)	3m 53s
pr-verify-job (macos-latest)	3m 11s
	7m 4s