wip

hacspec · Feb 28, 2024 · 4238393 · 4238393
1 parent 3f8f5d4
commit 4238393
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -6,7 +6,7 @@ jobs:
   test-action:
     runs-on: "ubuntu-latest"
     steps:
-      - uses: hacspec/hax-actions
+      - uses: hacspec/hax-actions@main
         hax_reference: nix-add-hax-env
       - run: |
           echo "HAX_PROOF_LIBS=$HAX_PROOF_LIBS"