push.yml: set up Java before cloning the GitHub repo #655

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Java8-Linux	58s
Java11-Linux	1m 1s
Java21-Windows	1m 16s
Java17-MacOS	1m 56s
	5m 11s