From f6dc18e967accc654e2690545f791befcea92076 Mon Sep 17 00:00:00 2001 From: chrysn Date: Thu, 23 Nov 2023 13:53:40 +0100 Subject: [PATCH] chore(CI): Update hax run to latest feature names --- .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 093f5b8c..bb66d0e6 100644 --- 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)