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

hacspec · May 7, 2024 · e8fdd4f · e8fdd4f
1 parent ce1a066
commit e8fdd4f
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/.github/workflows/test_installs.yml b/.github/workflows/test_installs.yml
@@ -40,12 +40,10 @@ jobs:
         ./setup.sh
     - run: cargo hax --version
     - name: Test an extraction
-      uses: actions/checkout@v3
-      with:
-        repository: 'hacspec/specs'
-    - run: |
+      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() &&