Skip to content

Build broadcast qm31. #5867

Build broadcast qm31.

Build broadcast qm31. #5867

Workflow file for this run

name: CI
env:
NIGHTLY_VERSION: "nightly-2025-07-14"
STABLE_VERSION: "1.88.0"
on:
push:
branches:
- main
pull_request:
types:
- opened
- reopened
- synchronize
- auto_merge_enabled
- edited
merge_group:
types:
- checks_requested
permissions:
contents: read
# On PR events, cancel existing CI runs on this same PR for this workflow.
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.job }}-${{ github.event_name == 'workflow_dispatch' && github.run_id || 'pr' }}
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
jobs:
format:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@master
with:
components: rustfmt
toolchain: ${{ env.NIGHTLY_VERSION }}
- uses: Swatinem/rust-cache@v2
- run: scripts/rust_fmt.sh --check
clippy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@master
with:
components: clippy
toolchain: ${{ env.NIGHTLY_VERSION }}
- uses: Swatinem/rust-cache@v2
- run: scripts/clippy.sh
doc:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@master
with:
toolchain: ${{ env.NIGHTLY_VERSION }}
- uses: Swatinem/rust-cache@v2
- run: RUSTDOCFLAGS="-Dwarnings" cargo doc --document-private-items --no-deps --all-features
run-tests:
runs-on: namespace-profile-starkware-libs-stwo-circuts-xlarge-ubuntu-24-04-amd64
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@master
with:
toolchain: ${{ env.NIGHTLY_VERSION }}
- uses: Swatinem/rust-cache@v2
- run: cargo test
all-tests:
runs-on: ubuntu-latest
needs:
- format
- clippy
- doc
- run-tests
- typos
- cargo-lock
steps:
- name: Decide whether all the needed jobs succeeded or failed
uses: re-actors/alls-green@v1.2.2
with:
jobs: ${{ toJSON(needs) }}
verifier-stable:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@master
with:
toolchain: ${{ env.STABLE_VERSION }}
- uses: Swatinem/rust-cache@v2
- name: Check verifier compiles on stable
env:
RUSTUP_TOOLCHAIN: ${{ env.STABLE_VERSION }}
run: cargo check --workspace --exclude circuit-prover --exclude circuits-stark-verifier-examples
machete:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@master
with:
toolchain: ${{ env.NIGHTLY_VERSION }}
- uses: Swatinem/rust-cache@v2
- name: Install Machete
run: cargo install --locked cargo-machete
- name: Run Machete (detect unused dependencies)
run: cargo machete
cargo-lock:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@master
with:
toolchain: ${{ env.NIGHTLY_VERSION }}
- name: Check Cargo.lock is up-to-date
run: cargo fetch --locked
typos:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: crate-ci/typos@v1.43.0