Build with JDK 11 when required

Author: DavideD

.github/workflows/build.yml

@@ -94,7 +94,14 @@ 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
+        if: ${{ contains( inputs.branch, 'wip/2' ) }}
+        uses: actions/[email protected]
+        with:
+          distribution: 'temurin'
+          java-version: 11
       - name: Set up JDK 17
+        if: ${{ !contains( inputs.branch, 'wip/2' ) }}
         uses: actions/[email protected]
         with:
           distribution: 'temurin'
@@ -136,8 +143,16 @@ 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
+        if: ${{ contains( inputs.branch, 'wip/2' ) }}
+        uses: actions/[email protected]
+        with:
+          distribution: 'temurin'
+          java-version: 11
       - name: Set up JDK 17
+        if: ${{ !contains( inputs.branch, 'wip/2' ) }}
         uses: actions/[email protected]
+
         with:
           distribution: 'temurin'
           java-version: 17
@@ -244,8 +259,15 @@ 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
+        if: ${{ contains( inputs.branch, 'wip/2' ) }}
+        uses: actions/[email protected]
+        with:
+          distribution: 'temurin'
+          java-version: 11
+          check-latest: true
       - name: Set up JDK 17
+        if: ${{ !contains( inputs.branch, 'wip/2' ) }}
         uses: actions/[email protected]
         with:
           distribution: 'temurin'