Merge branch 'Jdk17Github' into 'master'

openjdk 17 - github See merge request exedio/copebuilder!30
exedio · Sep 18, 2024 · 867b0e5 · 867b0e5
2 parents 30a48dd + e545301
commit 867b0e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ant.yml b/.github/workflows/ant.yml
@@ -14,7 +14,7 @@ jobs:
     - uses: actions/checkout@v2
     - uses: actions/setup-java@v2
       with:
-        java-version: '11'
+        java-version: '17'
         distribution: 'adopt'
     - run: ant -version
     - run: ant -noinput clean jenkins