Skip to content

Commit

Permalink
use hint_tool instead of check-orphans script
Browse files Browse the repository at this point in the history
  • Loading branch information
ftheirs committed Dec 23, 2024
1 parent 626818b commit 6e1871e
Show file tree
Hide file tree
Showing 3 changed files with 8 additions and 20 deletions.
15 changes: 2 additions & 13 deletions .github/workflows/check.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -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
Expand Down Expand Up @@ -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

6 changes: 6 additions & 0 deletions .github/workflows/prove_blocks.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
7 changes: 0 additions & 7 deletions scripts/check-orphans.sh

This file was deleted.

0 comments on commit 6e1871e

Please sign in to comment.