push.yml: Windows Server 2019 has been retired

Author: stephengold

.github/workflows/push.yml

@@ -7,7 +7,7 @@ on: [push]
 jobs:
   Java8-Windows:
     if: contains(toJson(github.event.commits), '[ci skip] ') == false
-    runs-on: windows-2019
+    runs-on: windows-2022
     steps:
       - uses: actions/setup-java@v4
         with: