push.yml: set up Java before cloning the GitHub repo #655
push.yml
on: push
Java8-Linux
58s
Java11-Linux
1m 1s
Java17-MacOS
1m 56s
Java21-Windows
1m 16s