Update check.yml

TimothyEarley · Nov 12, 2024 · 9c2fe1f · 9c2fe1f
1 parent aa6c6c2
commit 9c2fe1f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
@@ -19,5 +19,6 @@ jobs:
       - uses: actions/[email protected]
         with:
           java-version: 17
+          distribution: temurin
       - name: run checker
         run: java -jar Arend.jar .