Skip to content

feat(icicle): Add icicle msm support #912

feat(icicle): Add icicle msm support

feat(icicle): Add icicle msm support #912

Workflow file for this run

name: Build and Test Jolt
on:
push:
branches: [main]
pull_request:
branches: ['**', main]
env:
RUSTFLAGS: -D warnings
CARGO_TERM_COLOR: always
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.ref || github.run_id }}
cancel-in-progress: true
jobs:
fmt:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions-rust-lang/setup-rust-toolchain@v1
with:
components: rustfmt
- name: cargo fmt
uses: actions-rs/cargo@v1
with:
command: fmt
args: --all --check
clippy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions-rust-lang/setup-rust-toolchain@v1
with:
components: clippy
- name: cargo clippy
uses: actions-rs/cargo@v1
with:
command: clippy
args: --all
test:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions-rust-lang/setup-rust-toolchain@v1
- name: Cache Jolt RISC-V Rust toolchain
uses: actions/cache@v4
with:
key: jolt-rust-toolchain-${{hashFiles('.jolt.rust.toolchain-tag')}}
path: ~/.jolt
- name: Install Jolt RISC-V Rust toolchain
run: cargo run install-toolchain
- name: Install nextest
uses: taiki-e/install-action@nextest
- name: Run jolt-core tests
run: cargo nextest run --release -p jolt-core
on-chain:
name: Onchain Verifier Tests
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
submodules: recursive
- uses: actions-rust-lang/setup-rust-toolchain@v1
- uses: foundry-rs/foundry-toolchain@v1
with:
version: nightly
- name: Build the rust integration testing scripts
working-directory: ./jolt-evm-verifier
run: cargo build --manifest-path script/Cargo.toml --release
- name: Check build and denny warnings
working-directory: ./jolt-evm-verifier
run: forge build --deny-warnings
- name: Run tests
working-directory: ./jolt-evm-verifier
run: forge test -vvv --via-ir --ffi
- name: Check Format
working-directory: ./jolt-evm-verifier
run: forge fmt --check