Add distribution: jdk

ontodev · Nov 13, 2024 · c6d403b · c6d403b
1 parent 62ccd55
commit c6d403b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/java-ci.yml b/.github/workflows/java-ci.yml
@@ -23,6 +23,7 @@ jobs:
         run: ./util/check_docs.py
       - name: Set up JDK
         uses: actions/setup-java@v4
+        distribution: jdk
         with:
           java-version: ${{ matrix.java }}
       - name: CI Test