Fix: set use_kzg_da
in block info based on RPC data (#329)
#23
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Sepolia integration tests | |
on: | |
push: | |
branches: | |
- main | |
pull_request: | |
jobs: | |
build: | |
runs-on: ubuntu-latest | |
steps: | |
- name: Checkout code | |
uses: actions/checkout@v4 | |
with: | |
submodules: "true" | |
- name: "Install Rust" | |
uses: "actions-rs/toolchain@v1" | |
with: | |
toolchain: "stable" | |
- name: "Cache cargo" | |
id: cache-cargo | |
uses: "actions/cache@v4" | |
with: | |
path: | | |
~/.cargo/bin/ | |
~/.cargo/registry/index/ | |
~/.cargo/registry/cache/ | |
~/.cargo/git/db/ | |
target/ | |
save-always: true | |
key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }} | |
restore-keys: ${{ runner.os }}-cargo- | |
- name: Create and activate Python virtual environment | |
run: | | |
python3 -m venv venv | |
source venv/bin/activate | |
- name: Setup the tests | |
run: | | |
source venv/bin/activate | |
pip install cairo-lang==0.13.1 "sympy<1.13.0" | |
bash scripts/setup-tests.sh | |
- name: Prove Blocks | |
run: | | |
# These blocks verify the following issues: | |
# * 76793: the first block that we managed to prove, only has a few invoke txs | |
# * 76766 / 76775: additional basic blocks | |
# * 86507 / 124533: a failing assert that happened because we used the wrong VersionedConstants | |
# * 87019: diff assert values in contract subcall | |
bash scripts/prove-blocks.sh -p ${{ secrets.PATHFINDER_RPC_URL }} -b 76793,76766,76775,86507,87019,124533 |