Switch JDK provider to temurin.

AdoptJDK is marked as deprecated and replaced by Eclipse Temurin.
jenkinsci · Oct 26, 2021 · b95a4ee · b95a4ee
1 parent ed93d52
commit b95a4ee
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/autograding.yml b/.github/workflows/autograding.yml
@@ -14,7 +14,7 @@ jobs:
       - name: Set up JDK 11
         uses: actions/setup-java@v2
         with:
-          distribution: 'adopt'
+          distribution: 'temurin'
           java-version: '11'
           check-latest: true
       - name: Cache local Maven repository

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -21,7 +21,7 @@ jobs:
     - name: Set up JDK 11
       uses: actions/setup-java@v2
       with:
-        distribution: 'adopt'
+        distribution: 'temurin'
         java-version: '11'
         check-latest: true
     - name: Cache local Maven repository

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -17,7 +17,7 @@ jobs:
       - name: Set up JDK 11
         uses: actions/setup-java@v2
         with:
-          distribution: 'adopt'
+          distribution: 'temurin'
           java-version: '11'
           check-latest: true
       - name: Generate coverage with JaCoCo