diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index 05aedbc3..6b58dca9 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 12af39ec..82200ab6 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 61e0783f..00000000 --- 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