push.yml: use v4 of actions/checkout #745
push.yml
on: push
Java11-Linux
2m 23s
Java17-MacOS
2m 29s
Java20-Windows
3m 41s