push.yml: test Java v19 instead of v20

stephengold · Jul 6, 2023 · 793ce2e · 793ce2e
1 parent 3881b18
commit 793ce2e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -39,14 +39,14 @@ jobs:
           java-version: 17
       - run: ./gradlew build --console=plain --no-daemon --stacktrace
 
-  Java20-Windows:
+  Java19-Windows:
     if: contains(toJson(github.event.commits), '[ci skip] ') == false
     runs-on: windows-2022
     steps:
       - uses: actions/checkout@v3
       - uses: actions/setup-java@v3
         with:
           distribution: 'zulu'
-          java-version: 20
+          java-version: 19
       - run: ./gradlew build --console=plain --no-daemon --stacktrace
         shell: bash