From c2b1cd6ceabb0c0178a55ddfa64b25d965532792 Mon Sep 17 00:00:00 2001 From: Geovane Fedrecheski Date: Tue, 19 Sep 2023 10:01:17 +0200 Subject: [PATCH] fix: update cargo-hax command --- .github/workflows/build-and-test.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml index dad14dc4..6de674d1 100644 --- 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