From bbd877e10f591fa19adb0e88ca7810da7c95bcb8 Mon Sep 17 00:00:00 2001 From: Lucas Franceschino Date: Tue, 7 May 2024 09:14:24 +0200 Subject: [PATCH] fix(ci): test local `chacha20`, not `specs` one --- .github/workflows/test_installs.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/test_installs.yml b/.github/workflows/test_installs.yml index 5ed2a6640..4ceace7b0 100644 --- a/.github/workflows/test_installs.yml +++ b/.github/workflows/test_installs.yml @@ -44,8 +44,9 @@ jobs: with: repository: 'hacspec/specs' - run: | + cd examples/chacha20 eval $(opam env) - cargo hax -C -p hacspec-chacha20 \; -i '**' into fstar + cargo hax into fstar setup_sh_status: if: | always() &&