Skip to content
CI

Optimize Mersenne31 Field #3969

Sign in to view logs

Optimize Mersenne31 Field

Optimize Mersenne31 Field #3969

Workflow file for this run

.github/workflows/ci.yaml at d9f5a29
name: CI
on:
merge_group:
push:
branches: [main]
pull_request:
branches: ["*"]
concurrency:
group: ${{ github.head_ref || github.run_id }}
cancel-in-progress: true
jobs:
compile:
name: Compile
runs-on: ubuntu-latest
steps:
- name: Checkout sources
uses: actions/checkout@v3
- name: Rustup toolchain install
uses: dtolnay/rust-toolchain@stable
with:
toolchain: stable
targets: wasm32-unknown-unknown
- name: Set up cargo cache
uses: Swatinem/rust-cache@v2
- name: Run cargo check
run: cargo check
- name: Run cargo check cli and stark instruments
run: |
cargo check --features cli,instruments
- name: Run cargo check cli, stark instruments and parallel
run: |
cargo check --features cli,instruments,parallel
- name: Run cargo check for math with no-std
run: cargo check --package lambdaworks-math --no-default-features
- name: Run cargo check for math with wasm target
run: cargo check --package lambdaworks-math --no-default-features --target wasm32-unknown-unknown
- name: Run cargo check for crypto with wasm target
run: cargo check --package lambdaworks-crypto --no-default-features --target wasm32-unknown-unknown
- name: Run cargo build ensure-no_std crate
run: |
cd ensure-no_std
cargo build
- name: Run cargo build for all workspace
run: |
cargo build --workspace
- name: Run cargo build ensure-no_std crate for wasm
run: |
cd ensure-no_std
cargo build --target wasm32-unknown-unknown
- name: Check benchmarks
run: cargo check --benches
lint:
name: Lint
runs-on: ubuntu-latest
steps:
- name: Checkout sources
uses: actions/checkout@v3
- name: Install stable toolchain
uses: dtolnay/rust-toolchain@stable
with:
toolchain: stable
components: rustfmt, clippy
- name: Run cargo fmt
run: cargo fmt --all -- --check
- name: Run clippy
run: make clippy
- name: Run clippy math and crypto no std
run: cargo clippy --package lambdaworks-math --package lambdaworks-crypto --no-default-features -- -D warnings
- name: Run clippy math no std + alloc
run: cargo clippy --package lambdaworks-math --no-default-features --features=alloc,lambdaworks-serde-string,lambdaworks-serde-binary -- -D warnings
test:
name: Test (Ubuntu)
runs-on: ubuntu-latest
env:
CARGO_TERM_COLOR: always
steps:
- uses: actions/checkout@v3
- uses: dtolnay/rust-toolchain@stable
with:
toolchain: stable
components: clippy
- name: Set up cargo cache
uses: Swatinem/rust-cache@v2
- name: Python3 build
uses: actions/setup-python@v4
with:
python-version: "3.9"
cache: "pip"
- name: Install cairo-lang toolchain and dependencies
run: pip install -r provers/cairo/requirements.txt
- name: Install testing tools
uses: taiki-e/install-action@v2
with:
tool: cargo-nextest,cargo-llvm-cov
- name: Run tests with no std
run: cargo test --package lambdaworks-math --package lambdaworks-crypto --no-default-features
- name: Run tests for math with no std + alloc
run: cargo test --package lambdaworks-math --no-default-features --features=alloc,lambdaworks-serde-string,lambdaworks-serde-binary
- name: Run tests and generate code coverage
run: make coverage
- name: Cache coverage data
uses: actions/cache/save@v4
with:
path: lcov.info
key: coverage-${{ github.sha }}
coverage:
name: Upload Coverage to Codecov
runs-on: ubuntu-latest
needs: test
steps:
- uses: actions/checkout@v3
- name: Fetch coverage data
uses: actions/cache/restore@v4
with:
path: lcov.info
key: coverage-${{ github.sha }}
fail-on-cache-miss: true
- name: Upload coverage to Codecov
uses: codecov/codecov-action@v3
with:
token: ${{ secrets.CODECOV_TOKEN }}
files: lcov.info
fail_ci_if_error: true
test_wasm_pack:
name: Test wasm-pack
runs-on: ubuntu-latest
env:
CARGO_TERM_COLOR: always
steps:
- uses: actions/checkout@v3
- uses: dtolnay/rust-toolchain@stable
with:
toolchain: stable
components: clippy
- name: Set up cargo cache
uses: Swatinem/rust-cache@v2
- name: Install wasm-pack tools for testing
run: curl https://rustwasm.github.io/wasm-pack/installer/init.sh -sSf | sh
- name: Run wasm-pack tests in firefox
run: cd provers/cairo && wasm-pack test --release --firefox --headless -- --features wasm
- name: Run wasm-pack tests in chrome
run: cd provers/cairo && wasm-pack test --release --chrome --headless -- --features wasm
test_macos:
name: Test (macOS, Apple sillicon)
runs-on: macos-latest
env:
CARGO_TERM_COLOR: always
steps:
- uses: actions/checkout@v3
- name: install GCC/GMP
run: |
brew install gcc
brew install gmp
- name: Rustup toolchain install
uses: dtolnay/rust-toolchain@stable
with:
toolchain: stable
components: clippy
- name: Python3 build
uses: actions/setup-python@v4
with:
python-version: "3.9"
cache: "pip"
- name: Install cairo-lang toolchain and dependencies
env:
CFLAGS: "-I/opt/homebrew/opt/gmp/include"
LDFLAGS: "-L/opt/homebrew/opt/gmp/lib"
run: pip install -r provers/cairo/requirements.txt
- name: Run clippy
run: make clippy-metal
- name: Run tests
run: make test-metal