chore: update aiken in CI

aiken-lang · Mar 24, 2024 · 482b28f · 482b28f
1 parent 6b29f40
commit 482b28f
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/setup-aiken@v0.1.0
         with:
-          version: v1.0.24-alpha
+          version: v1.0.25-alpha
 
       - run: aiken fmt --check
       - run: aiken check