Skip to content

Merge pull request #1 from bobanetwork/add-boba-devnet #2

Merge pull request #1 from bobanetwork/add-boba-devnet

Merge pull request #1 from bobanetwork/add-boba-devnet #2

Workflow file for this run

name: PR
on:
push:
branches: [main]
pull_request:
branches:
- "**"
paths:
- "crates/**"
- "programs/**"
- "scripts/**"
- "proposer/succinct/**"
- "Cargo.toml"
merge_group:
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
jobs:
lint:
name: Formatting & Clippy
runs-on: [runs-on, runner=32cpu-linux-arm64 , "run-id=${{ github.run_id }}"]
env:
CARGO_NET_GIT_FETCH_WITH_CLI: "true"
steps:
- name: Checkout sources
uses: actions/checkout@v4
- name: Install Rust
uses: actions-rs/toolchain@v1
with:
profile: minimal
toolchain: stable
components: rustfmt
- name: Run rustfmt
run: cargo fmt --all -- --check
env:
CARGO_INCREMENTAL: 1
- name: Run cargo clippy
run: cargo clippy --all-features --all-targets -- -D warnings -A incomplete-features
env:
CARGO_INCREMENTAL: 1