Update tests.yml

Correct version for Aiken. Since 1.25 there is a bug in aiken. We've opened a issue aiken-lang/aiken#921
Modulo-P · May 15, 2024 · b3c9392 · b3c9392
1 parent d00b08d
commit b3c9392
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -13,7 +13,7 @@ jobs:
 
       - uses: aiken-lang/[email protected]
         with:
-          version: v1
+          version: v1.0.24-alpha
 
       - run: aiken fmt --check
       - run: aiken check -D