From 6e1871e7d30fccb906527833b78be8d7d1206fc4 Mon Sep 17 00:00:00 2001 From: ftheirs Date: Mon, 23 Dec 2024 12:19:02 -0300 Subject: [PATCH] use hint_tool instead of check-orphans script --- .github/workflows/check.yml | 15 ++------------- .github/workflows/prove_blocks.yml | 6 ++++++ scripts/check-orphans.sh | 7 ------- 3 files changed, 8 insertions(+), 20 deletions(-) delete mode 100755 scripts/check-orphans.sh diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index 05aedbc30..6b58dca98 100644 --- a/.github/workflows/check.yml +++ b/.github/workflows/check.yml @@ -31,7 +31,7 @@ jobs: - name: "Install cairo-lang" run: | # We need to pin the version of sympy, 1.13.0 is incompatible with cairo-lang - pip install cairo-lang==0.13.2 "sympy<1.13.0" + pip install cairo-lang==0.13.3 "sympy<1.13.0" - name: "Prepare test environment" run: | mkdir -p build @@ -53,7 +53,7 @@ jobs: - name: "Install cairo-lang" run: | # We need to pin the version of sympy, 1.13.0 is incompatible with cairo-lang - pip install cairo-lang==0.13.2 "sympy<1.13.0" + pip install cairo-lang==0.13.3 "sympy<1.13.0" - name: "Prepare test environment" run: | bash ./setup-scripts/reset-tests.sh @@ -85,14 +85,3 @@ jobs: cairo-compile cairo-lang/src/starkware/starknet/core/os/os.cairo --output build/os_latest.json --cairo_path cairo-lang/src - run: cargo install cargo-udeps --locked - run: cargo udeps --all-targets - - orphans: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - - run: rustup show - - run: rustup component add rustfmt - - uses: Swatinem/rust-cache@v2 - - run: git submodule update --init - - run: ./scripts/check-orphans.sh - diff --git a/.github/workflows/prove_blocks.yml b/.github/workflows/prove_blocks.yml index 12af39ece..82200ab62 100644 --- a/.github/workflows/prove_blocks.yml +++ b/.github/workflows/prove_blocks.yml @@ -57,3 +57,9 @@ jobs: PATHFINDER_RPC_URL: ${{ secrets.PATHFINDER_RPC_URL }} run: | cargo test --release --package prove_block --test hash_tests -- test_recompute_class_hash test_class_proof_verification_ok test_class_proof_verification_non_inclusion --show-output --ignored + + - name: Hint tool: Orphans + env: + PATHFINDER_RPC_URL: ${{ secrets.PATHFINDER_RPC_URL }} + run: | + cargo run --release --package hint_tool -- --subset orphaned diff --git a/scripts/check-orphans.sh b/scripts/check-orphans.sh deleted file mode 100755 index 61e0783fa..000000000 --- a/scripts/check-orphans.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/bash -cargo run --quiet --example hints orphans | jq -e 'if length == 0 then . else empty end' -if [ $? -ne '0' ]; then - echo -e "orphaned hints found:" - cargo run --quiet --example hints orphans | jq . - exit 1 -fi \ No newline at end of file