push.yml: test on macOS 15 and Windows Server 2025

Author: stephengold

.github/workflows/push.yml

@@ -30,7 +30,7 @@ jobs:
 
   Java17-MacOS:
     if: contains(toJson(github.event.commits), '[ci skip] ') == false
-    runs-on: macOS-14
+    runs-on: macOS-15
     steps:
       - uses: actions/setup-java@v4
         with:
@@ -41,7 +41,7 @@ jobs:
 
   Java23-Windows:
     if: contains(toJson(github.event.commits), '[ci skip] ') == false
-    runs-on: windows-2022
+    runs-on: windows-2025
     steps:
       - uses: actions/setup-java@v4
         with: