diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index 05aedbc3..b1715fc6 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,10 @@ 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 - + - run: | + RESULT=$(cargo run --release -p hint_tool -- --subset orphaned | grep -oP '\d+$') + # Only 1 orphan allow (breakpoint hint) + if [ "$RESULT" -gt 1 ]; then + echo "Error: more than 1 orphaned hints found." + exit 1 + fi 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