push.yml: test macOS-13 instead of macOS-12 #325
push.yml
on: push
Java8-Linux
46s
Java11-Linux
59s
Java17-MacOS
1m 10s
Java21-Windows
1m 2s