fix: update cargo-hax command

openwsn-berkeley · Sep 19, 2023 · c2b1cd6 · c2b1cd6
1 parent 7047425
commit c2b1cd6
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
@@ -91,7 +91,7 @@ jobs:
 
     - name: Generate fstar
       run: |
-        docker run --rm -v ${{ github.workspace }}:/edhoc-rs hacspec-v2 bash -c "cd edhoc-rs/hacspec && cargo-hax into fstar"
+        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)
 
     - name: Upload artifact