push.yml: test macOS-13 instead of macOS-12 #769
push.yml
on: push
Java11-Linux
1m 28s
Java17-MacOS
1m 45s
Java21-Windows
1m 41s