Build with JDK 11 when required

Author: DavideD

.github/workflows/build.yml

@@ -94,8 +94,15 @@ jobs:
             .gradle/wrapper
           # refresh cache every month to avoid unlimited growth
           key: gradle-examples-${{ matrix.db }}-${{ steps.get-date.outputs.yearmonth }}
+      - name: Set up JDK 11
+        uses: actions/[email protected]
+        if: ${{ startsWith( inputs.branch, 'wip/2' ) }}
+        with:
+          distribution: 'temurin'
+          java-version: 11
       - name: Set up JDK 17
         uses: actions/[email protected]
+        if: ${{ !startsWith( inputs.branch, 'wip/2' ) }}
         with:
           distribution: 'temurin'
           java-version: 17
@@ -136,8 +143,15 @@ jobs:
             .gradle/wrapper
           # refresh cache every month to avoid unlimited growth
           key: gradle-db-${{ matrix.db }}-${{ steps.get-date.outputs.yearmonth }}
+      - name: Set up JDK 11
+        uses: actions/[email protected]
+        if: ${{ startsWith( inputs.branch, 'wip/2' ) }}
+        with:
+          distribution: 'temurin'
+          java-version: 11
       - name: Set up JDK 17
         uses: actions/[email protected]
+        if: ${{ !startsWith( inputs.branch, 'wip/2' ) }}
         with:
           distribution: 'temurin'
           java-version: 17
@@ -244,13 +258,20 @@ jobs:
       - name: Export path to JDK ${{ matrix.java.name }}
         id: testjdk-exportpath
         run: echo "::set-output name=path::${JAVA_HOME}"
-      # Always use JDK 11 to build the main code: that's what we use for releases.
+      - name: Set up JDK 11
+        uses: actions/[email protected]
+        with:
+          distribution: 'temurin'
+          java-version: 11
+          check-latest: true
+          if: ${{ startsWith( inputs.branch, 'wip/2' ) }}
       - name: Set up JDK 17
         uses: actions/[email protected]
         with:
           distribution: 'temurin'
           java-version: 17
           check-latest: true
+          if: ${{ !startsWith( inputs.branch, 'wip/2' ) }}
       - name: Export path to JDK 11
         id: mainjdk-exportpath
         run: echo "::set-output name=path::${JAVA_HOME}"