chore(CI): Update hax run to latest feature names

chrysn-pull-requests · Nov 23, 2023 · f6dc18e · f6dc18e
1 parent 29e66ea
commit f6dc18e
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
@@ -74,7 +74,7 @@ jobs:
       run: |
         docker run --rm -v ${{ github.workspace }}:/edhoc-rs docker.io/geonnave/hax bash -e -c "\
         cd edhoc-rs
-        cargo-hax -C -p edhoc-rs -p edhoc-crypto -p edhoc-ead-none --no-default-features --features='crypto-hacspec, ead-none' --release ';' into -i '-c_wrapper::** -edhoc_rs::generate_connection_identifier_cbor -edhoc_rs::generate_connection_identifier' fstar\
+        cargo-hax -C -p edhoc-rs -p edhoc-crypto -p edhoc-ead-none --no-default-features --features='edhoc-crypto/hacspec, ead-none' --release ';' into -i '-c_wrapper::** -edhoc_rs::generate_connection_identifier_cbor -edhoc_rs::generate_connection_identifier' fstar\
         "
         zip -j -r edhoc-rs-fstar.zip $(find . -name *fst)