Skip to content

feat: higher FRI arity #6

feat: higher FRI arity

feat: higher FRI arity #6

Workflow file for this run

name: CI
on:
push:
branches: [ "main" ]
pull_request:
branches: [ "*" ]
env:
CARGO_TERM_COLOR: always
CARGO_INCREMENTAL: 1
jobs:
build_and_test:
name: Build and Test
runs-on: ubuntu-latest
if: "! contains(toJSON(github.event.commits.*.message), '[skip-ci]')"
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@stable
id: rs-stable
- uses: actions/cache@v3
with:
path: |
~/.cargo/bin/
~/.cargo/registry/index/
~/.cargo/registry/cache/
~/.cargo/git/db/
target/
key: rust-${{ steps.rs-stable.outputs.rustc_hash }}-${{ hashFiles('**/Cargo.toml') }}
- name: Build
run: cargo build --verbose --all-targets
- name: Check with parallel
run: cargo check --verbose --all-targets --features parallel
- name: Test
run: cargo test --verbose
- name: Test with parallel
run: cargo test --verbose --features parallel
lint:
name: Formatting and Clippy
runs-on: ubuntu-latest
if: "! contains(toJSON(github.event.commits.*.message), '[skip-ci]')"
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@stable
with:
components: clippy
id: rs-stable
- uses: dtolnay/rust-toolchain@nightly
with:
components: rustfmt
- uses: actions/cache@v3
with:
path: |
~/.cargo/bin/
~/.cargo/registry/index/
~/.cargo/registry/cache/
~/.cargo/git/db/
target/
key: rust-${{ steps.rs-stable.outputs.rustc_hash }}-${{ hashFiles('**/Cargo.toml') }}
- name: Clippy
run: cargo +stable clippy --all-targets -- -D warnings
- name: Format
run: cargo +nightly fmt --all -- --check
check_crates:
name: Check Crates
runs-on: ubuntu-latest
if: "! contains(toJSON(github.event.commits.*.message), '[skip-ci]')"
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@stable
id: rs-stable
- uses: actions/cache@v3
with:
path: |
~/.cargo/bin/
~/.cargo/registry/index/
~/.cargo/registry/cache/
~/.cargo/git/db/
target/
key: rust-${{ steps.rs-stable.outputs.rustc_hash }}-${{ hashFiles('**/Cargo.toml', '**/Cargo.lock') }}
- name: Cargo Check Crates
run: |
cargo check --verbose --package p3-air
cargo check --verbose --package p3-baby-bear
cargo check --verbose --package p3-blake3
cargo check --verbose --package p3-challenger
cargo check --verbose --package p3-commit
cargo check --verbose --package p3-dft
cargo check --verbose --package p3-field
cargo check --verbose --package p3-field-testing
cargo check --verbose --package p3-fri
cargo check --verbose --package p3-goldilocks
cargo check --verbose --package p3-interpolation
cargo check --verbose --package p3-keccak
cargo check --verbose --package p3-keccak-air
cargo check --verbose --package p3-matrix
cargo check --verbose --package p3-maybe-rayon
cargo check --verbose --package p3-mds
cargo check --verbose --package p3-merkle-tree
cargo check --verbose --package p3-mersenne-31
cargo check --verbose --package p3-monolith
cargo check --verbose --package p3-poseidon
cargo check --verbose --package p3-poseidon2
cargo check --verbose --package p3-rescue
cargo check --verbose --package p3-symmetric
cargo check --verbose --package p3-uni-stark
cargo check --verbose --package p3-util