Add cairo0_run binary #389

	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.2 "sympy<1.13.0"
	bash scripts/setup-tests.sh

	- name: Prove Blocks
	env:
	PATHFINDER_RPC_URL: ${{ secrets.PATHFINDER_RPC_URL }}
	run: \|
	cargo test --release --package prove_block --test prove_block -- test_prove_selected_blocks --show-output --ignored

	- name: Class hashes
	env:
	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

Provide feedback