push.yml: the "macOS-13" runner image is deprecated

Author: stephengold

.github/workflows/push.yml

@@ -102,7 +102,7 @@ jobs:
 
   Java21-MacOSX64:
     if: contains(toJson(github.event.commits), '[ci skip] ') == false
-    runs-on: macOS-13
+    runs-on: macsOS-15-intel
     timeout-minutes: 15
     steps:
       - uses: actions/setup-java@v5