Add jdk17 build

.github/workflows/pr-build.yaml

@@ -8,21 +8,21 @@ on:
 
 jobs:
   build:
-
     runs-on: ubuntu-latest
     strategy:
       fail-fast: false
+      matrix:
+        java: ['11', '17']
     env:
       # Set LANG=C to simulate least-common-denominator target deployment environments:
       LANG: C
-
     steps:
-      - uses: actions/checkout@v2
-      - name: Set up JDK 11
-        uses: actions/setup-java@v2
+      - uses: actions/checkout@v4
+      - name: Set up JDK ${{ matrix.java }}
+        uses: actions/setup-java@v4
         with:
-          java-version: '11'
-          distribution: 'adopt'
+          java-version: ${{ matrix.java }}
+          distribution: 'zulu'
       - name: Run mill tests
         run: ./mill __.test
       - name: Compile with sbt