push.yml: use v4 of actions/checkout #287
push.yml
on: push
Java8-Linux
1m 1s
Java11-Linux
1m 21s
Java17-MacOS
2m 19s
Java20-Windows
2m 27s