From 748448917870c01eb2d492c328b7ebf360d43f37 Mon Sep 17 00:00:00 2001
From: Timothy Earley <timmy@earley.de>
Date: Tue, 12 Nov 2024 19:58:12 +0100
Subject: [PATCH] whos idea was yaml anyway

---
 .github/workflows/check.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index 077b03d..41c388b 100644
--- a/.github/workflows/check.yml
+++ b/.github/workflows/check.yml
@@ -16,13 +16,13 @@ jobs:
         with:
           repo: JetBrains/Arend
           file: Arend.jar
-          version: 1.10
+          version: 'v1.10'
       - name: Get arend-lib
         uses: dsaltares/fetch-gh-release-asset@1.1.2
         with:
           repo: JetBrains/arend-lib
           file: arend-lib.zip
-          version: 1.10.0
+          version: 'v1.10.0'
       - uses: actions/setup-java@v4.5.0
         with:
           java-version: 17