From 728f5525985e75441fa3436d70b9cffeaf3d735f Mon Sep 17 00:00:00 2001 From: David Pearce Date: Wed, 13 Nov 2024 17:19:34 +1300 Subject: [PATCH] feat: update corset to `v9.7.17` (#1496) This updates `corset` to the latest version to address existing issues with constraints having a negative domain. --- .github/actions/setup-rust-corset/action.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/actions/setup-rust-corset/action.yml b/.github/actions/setup-rust-corset/action.yml index 59da06786c..0c18cd6230 100644 --- a/.github/actions/setup-rust-corset/action.yml +++ b/.github/actions/setup-rust-corset/action.yml @@ -9,4 +9,4 @@ runs: - name: Install Corset shell: bash - run: RUSTFLAGS=-Awarnings cargo install --git ssh://git@github.com/ConsenSys/corset --tag v9.7.16 --locked --force + run: RUSTFLAGS=-Awarnings cargo install --git ssh://git@github.com/ConsenSys/corset --tag v9.7.17 --locked --force