Update dependencies and some linting (#1631)

2023-05-21 18:42:23 +02:00
parent 60eb7a9262
commit 3a8120cb59
161 changed files with 982 additions and 1003 deletions
--- a/.github/workflows/build_pull_request.yml
+++ b/.github/workflows/build_pull_request.yml
@ -33,7 +33,7 @@ jobs:
      - name: Set up JDK
        uses: actions/setup-java@v3
        with:
-          java-version: 11
+          java-version: 17
          distribution: adopt

      - id: get-changed-files
@ -107,7 +107,7 @@ jobs:
      - name: Set up JDK
        uses: actions/setup-java@v3
        with:
-          java-version: 11
+          java-version: 17
          distribution: adopt

      - name: Generate sources from the multi-source library
@ -141,7 +141,7 @@ jobs:
      - name: Set up JDK
        uses: actions/setup-java@v3
        with:
-          java-version: 11
+          java-version: 17
          distribution: adopt

      - name: Build extensions (chunk ${{ matrix.chunk }})