Merge branch 'Jdk17Github' into 'master'

openjdk 17 - github See merge request exedio/cops!33
exedio · Sep 18, 2024 · e994428 · e994428
2 parents 302f204 + da64b2e
commit e994428
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ant.yml b/.github/workflows/ant.yml
@@ -14,6 +14,6 @@ jobs:
     - uses: actions/checkout@v2
     - uses: actions/setup-java@v2
       with:
-        java-version: '11'
+        java-version: '17'
         distribution: 'adopt'
     - run: ant -noinput clean jenkins