fix: hacspec CI zip artifacts

openwsn-berkeley · Sep 19, 2023 · e5cca6e · e5cca6e
1 parent c2b1cd6
commit e5cca6e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
@@ -92,7 +92,7 @@ jobs:
     - name: Generate fstar
       run: |
         docker run --rm -v ${{ github.workspace }}:/edhoc-rs hacspec-v2 bash -c "cd edhoc-rs/hacspec && cargo-hax -C -p edhoc-hacspec -p edhoc-crypto -p edhoc-consts -p edhoc-crypto-hacspec \; into fstar"
-        zip -j -r edhoc-rs-fstar.zip $(find ./hacspec -name *fst)
+        zip -j -r edhoc-rs-fstar.zip $(find . -name *fst)
 
     - name: Upload artifact
       uses: actions/upload-artifact@v3