[github] Move more builds to jdk 17

spotbugs · Jul 24, 2022 · cf3dbf8 · cf3dbf8
1 parent c811a57
commit cf3dbf8
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/coveralls.yaml b/.github/workflows/coveralls.yaml
@@ -27,7 +27,7 @@ jobs:
       - name: Set up JDK
         uses: actions/setup-java@v3
         with:
-          java-version: 11
+          java-version: 17
           distribution: 'zulu'
       - name: Report Coverage to Coveralls for Pull Requests
         if: github.event_name == 'pull_request'

diff --git a/.github/workflows/coverity.yaml b/.github/workflows/coverity.yaml
@@ -14,7 +14,7 @@ jobs:
       - name: Set up JDK
         uses: actions/setup-java@v3
         with:
-          java-version: 11
+          java-version: 17
           distribution: 'zulu'
       - name: Analyze with Coverity
         run: |

diff --git a/.github/workflows/it.yaml b/.github/workflows/it.yaml
@@ -30,7 +30,7 @@ jobs:
       - name: Set up JDK
         uses: actions/setup-java@v3
         with:
-          java-version: 11
+          java-version: 17
           distribution: 'zulu'
       - name: Build Setup
         run: ./mvnw clean install

diff --git a/.github/workflows/site.yaml b/.github/workflows/site.yaml
@@ -14,7 +14,7 @@ jobs:
       - name: Set up JDK
         uses: actions/setup-java@v3
         with:
-          java-version: 11
+          java-version: 17
           distribution: 'zulu'
       - uses: webfactory/ssh-agent@master
         with: