From a73110bfc44ec72452e6fd9efa88402a1d421d7e Mon Sep 17 00:00:00 2001 From: Bartosz Nowak Date: Wed, 11 Sep 2024 14:17:59 +0200 Subject: [PATCH] ci update --- .github/workflows/proof_verification_tests.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/proof_verification_tests.yml b/.github/workflows/proof_verification_tests.yml index 38280402..c9eedfdc 100644 --- a/.github/workflows/proof_verification_tests.yml +++ b/.github/workflows/proof_verification_tests.yml @@ -15,7 +15,8 @@ jobs: matrix: cairo_version: ["cairo0", "cairo1"] layout: ["recursive", "recursive_with_poseidon", "small", "dex", "starknet", "starknet_with_keccak"] - hasher: ["keccak"] + hasher: ["keccak_160_lsb"] + prover: ["stone5"] steps: - name: Checkout repository uses: actions/checkout@v3 @@ -27,7 +28,7 @@ jobs: uses: actions-rust-lang/setup-rust-toolchain@v1 - name: Build project - run: scarb build --no-default-features --features monolith,${{ matrix.layout }},${{ matrix.hasher }} + run: scarb build --no-default-features --features monolith,${{ matrix.layout }},${{ matrix.hasher }},${{ matrix.prover }} - name: Run verification run: cargo run --release --bin runner -- -p target/dev/cairo_verifier.sierra.json -c ${{ matrix.cairo_version }} < examples/proofs/${{ matrix.layout }}/${{ matrix.cairo_version }}_example_proof.json