fix(ci): test local chacha20, not specs one

hacspec · May 7, 2024 · bbd877e · bbd877e
1 parent 9634d97
commit bbd877e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/test_installs.yml b/.github/workflows/test_installs.yml
@@ -44,8 +44,9 @@ jobs:
       with:
         repository: 'hacspec/specs'
     - run: |
+        cd examples/chacha20
         eval $(opam env)
-        cargo hax -C -p hacspec-chacha20 \; -i '**' into fstar
+        cargo hax into fstar
   setup_sh_status:
     if: |
       always() &&