This repository has been archived by the owner on Feb 21, 2024. It is now read-only.
Fix kernel codehash discrepancy (#1400) #120
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Continuous Integration | |
| on: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| branches: | |
| - "**" | |
| workflow_dispatch: | |
| branches: | |
| - "**" | |
| jobs: | |
| test: | |
| name: Test Suite | |
| runs-on: ubuntu-latest | |
| if: "! contains(toJSON(github.event.commits.*.message), '[skip-ci]')" | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v2 | |
| - name: Install nightly toolchain | |
| id: rustc-toolchain | |
| uses: actions-rs/toolchain@v1 | |
| with: | |
| profile: minimal | |
| toolchain: nightly | |
| override: true | |
| - name: rust-cache | |
| uses: actions/cache@v3 | |
| with: | |
| path: | | |
| ~/.cargo/bin/ | |
| ~/.cargo/registry/index/ | |
| ~/.cargo/registry/cache/ | |
| ~/.cargo/git/db/ | |
| target/ | |
| key: rustc-test-${{ steps.rustc-toolchain.outputs.rustc_hash }}-cargo-${{ hashFiles('**/Cargo.toml') }} | |
| - name: Check in plonky2 subdirectory | |
| uses: actions-rs/cargo@v1 | |
| with: | |
| command: check | |
| args: --manifest-path plonky2/Cargo.toml | |
| env: | |
| RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 | |
| RUST_LOG: 1 | |
| CARGO_INCREMENTAL: 1 | |
| RUST_BACKTRACE: 1 | |
| - name: Check in starky subdirectory | |
| uses: actions-rs/cargo@v1 | |
| with: | |
| command: check | |
| args: --manifest-path starky/Cargo.toml | |
| env: | |
| RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 | |
| RUST_LOG: 1 | |
| CARGO_INCREMENTAL: 1 | |
| RUST_BACKTRACE: 1 | |
| - name: Check in evm subdirectory | |
| uses: actions-rs/cargo@v1 | |
| with: | |
| command: check | |
| args: --manifest-path evm/Cargo.toml | |
| env: | |
| RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 | |
| RUST_LOG: 1 | |
| CARGO_INCREMENTAL: 1 | |
| RUST_BACKTRACE: 1 | |
| - name: Run cargo test | |
| uses: actions-rs/cargo@v1 | |
| with: | |
| command: test | |
| args: --workspace | |
| env: | |
| RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 | |
| RUST_LOG: 1 | |
| CARGO_INCREMENTAL: 1 | |
| RUST_BACKTRACE: 1 | |
| wasm32: | |
| name: wasm32 compatibility | |
| runs-on: ubuntu-latest | |
| if: "! contains(toJSON(github.event.commits.*.message), '[skip-ci]')" | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v2 | |
| - name: Install nightly wasm32 toolchain | |
| id: rustc-toolchain | |
| uses: actions-rs/toolchain@v1 | |
| with: | |
| profile: minimal | |
| toolchain: nightly | |
| target: wasm32-unknown-unknown | |
| default: true | |
| override: true | |
| - name: rust-cache | |
| uses: actions/cache@v3 | |
| with: | |
| path: | | |
| ~/.cargo/bin/ | |
| ~/.cargo/registry/index/ | |
| ~/.cargo/registry/cache/ | |
| ~/.cargo/git/db/ | |
| target/ | |
| key: rustc-wasm32-${{ steps.rustc-toolchain.outputs.rustc_hash }}-cargo-${{ hashFiles('**/Cargo.toml') }} | |
| - name: Check in plonky2 subdirectory | |
| uses: actions-rs/cargo@v1 | |
| with: | |
| command: check | |
| args: --manifest-path plonky2/Cargo.toml --target wasm32-unknown-unknown --no-default-features | |
| env: | |
| RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 | |
| RUST_LOG: 1 | |
| CARGO_INCREMENTAL: 1 | |
| RUST_BACKTRACE: 1 | |
| - name: Check in starky subdirectory | |
| uses: actions-rs/cargo@v1 | |
| with: | |
| command: check | |
| args: --manifest-path starky/Cargo.toml --target wasm32-unknown-unknown --no-default-features | |
| env: | |
| RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 | |
| RUST_LOG: 1 | |
| CARGO_INCREMENTAL: 1 | |
| RUST_BACKTRACE: 1 | |
| lints: | |
| name: Formatting and Clippy | |
| runs-on: ubuntu-latest | |
| if: "! contains(toJSON(github.event.commits.*.message), '[skip-ci]')" | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v2 | |
| - name: Install nightly toolchain | |
| id: rustc-toolchain | |
| uses: actions-rs/toolchain@v1 | |
| with: | |
| profile: minimal | |
| toolchain: nightly | |
| override: true | |
| components: rustfmt, clippy | |
| - name: rust-cache | |
| uses: actions/cache@v3 | |
| with: | |
| path: | | |
| ~/.cargo/bin/ | |
| ~/.cargo/registry/index/ | |
| ~/.cargo/registry/cache/ | |
| ~/.cargo/git/db/ | |
| target/ | |
| key: rustc-lints-${{ steps.rustc-toolchain.outputs.rustc_hash }}-cargo-${{ hashFiles('**/Cargo.toml') }} | |
| - name: Run cargo fmt | |
| uses: actions-rs/cargo@v1 | |
| with: | |
| command: fmt | |
| args: --all -- --check | |
| env: | |
| CARGO_INCREMENTAL: 1 | |
| - name: Run cargo clippy | |
| uses: actions-rs/cargo@v1 | |
| with: | |
| command: clippy | |
| args: --all-features --all-targets -- -D warnings -A incomplete-features | |
| env: | |
| # Seems necessary until https://github.com/rust-lang/rust/pull/115819 is merged. | |
| CARGO_INCREMENTAL: 0 |