wip

hacspec · Feb 28, 2024 · e9f42ce · e9f42ce
1 parent 8309b8c
commit e9f42ce
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -8,7 +8,8 @@ jobs:
     runs-on: "ubuntu-latest"
     steps:
       - uses: hacspec/hax-actions@main
-        hax_reference: nix-add-hax-env
+        with:
+          hax_reference: nix-add-hax-env
       - run: |
           echo "HAX_PROOF_LIBS=$HAX_PROOF_LIBS"
           echo "HAX_LIB=$HAX_LIB"