diff --git a/.github/workflows/proof_verification_tests.yml b/.github/workflows/proof_verification_tests.yml index afcab1efa..978cb3f30 100644 --- a/.github/workflows/proof_verification_tests.yml +++ b/.github/workflows/proof_verification_tests.yml @@ -40,13 +40,17 @@ jobs: repository: fmkra/scarb - name: Build custom scarb - run: cd scarb && cargo build && cd ../ + run: cd scarb && cargo build + working-directory: scarb - name: Build project run: ./scarb/target/debug/scarb build --no-default-features --features=${{ matrix.layout }},keccak + working-directory: $GITHUB_WORKSPACE - name: Test project run: ./scarb/target/debug/scarb test --no-default-features --features=${{ matrix.layout }},keccak + working-directory: $GITHUB_WORKSPACE - name: Run verification run: cargo run --bin runner -- target/dev/cairo_verifier.sierra.json < examples/proofs/${{ matrix.layout }}/example_proof.json + working-directory: $GITHUB_WORKSPACE diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index 1a2cfaa1b..db87c6532 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -16,6 +16,14 @@ jobs: - name: Format code run: scarb fmt --check + + - name: Checkout custom scarb + uses: actions/checkout@v3 + with: + repository: fmkra/scarb + + - name: Build custom scarb + run: cd scarb && cargo build && cd ../ - name: Run tests - run: scarb test \ No newline at end of file + run: ./scarb/target/debug/scarb test \ No newline at end of file