Merge pull request #82 from anoma/nightly-juvix

Use juvix-nightly-builds on CI
anoma · Jan 23, 2025 · ef185f0 · ef185f0
2 parents 35ff092 + 435a7f9
commit ef185f0
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/tests.yaml b/.github/workflows/tests.yaml
@@ -16,8 +16,7 @@ jobs:
       - name: Download the Juvix binary
         uses: jaxxstorm/[email protected]
         with:
-          repo: anoma/juvix
-          tag: v0.6.8
+          repo: anoma/juvix-nightly-builds
           cache: enable
       - name: Clean
         run: juvix clean --global && juvix dependencies update