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.
Consensys · Nov 13, 2024 · 728f552 · 728f552
1 parent 02c8c7d
commit 728f552
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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