check.yml: versions

TimothyEarley · Nov 12, 2024 · a095514 · a095514
1 parent 8c0e197
commit a095514
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
@@ -16,13 +16,13 @@ jobs:
         with:
           repo: JetBrains/Arend
           file: Arend.jar
-          version: v1.10
+          version: 1.10
       - name: Get arend-lib
         uses: dsaltares/[email protected]
         with:
           repo: JetBrains/arend-lib
           file: arend-lib.zip
-          version: v1.10.0
+          version: 1.10.0
       - uses: actions/[email protected]
         with:
           java-version: 17