specify jdk distribution

unibas-gravis · Jan 23, 2024 · f649930 · f649930
1 parent e4f6cb6
commit f649930
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -14,6 +14,7 @@ jobs:
       - name: Set up JDK 11
         uses: actions/setup-java@v2
         with:
+          distribution: 'temurin'
           java-version: 11
       - name: Run tests
         run:  |