feat: cleanup compiler ir #1669
Workflow file for this run
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: Tests | |
| on: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| branches: | |
| - "**" | |
| paths: | |
| - "core/**" | |
| - "recursion/**" | |
| - "sdk/**" | |
| - "examples/fibonacci-io/**" | |
| jobs: | |
| test: | |
| name: CI Test Suite | |
| runs-on: warp-ubuntu-latest-arm64-16x | |
| if: "! contains(toJSON(github.event.commits.*.message), '[skip-ci]')" | |
| env: | |
| CARGO_NET_GIT_FETCH_WITH_CLI: "true" | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v2 | |
| - name: Set up git private repo access | |
| run: | | |
| git config --global url."https://${{ secrets.PRIVATE_PULL_TOKEN }}@github.com/".insteadOf ssh://[email protected] | |
| git config --global url."https://${{ secrets.PRIVATE_PULL_TOKEN }}@github.com".insteadOf https://github.com | |
| - name: Install Go 1.22 | |
| uses: actions/setup-go@v5 | |
| with: | |
| go-version: "1.22" | |
| - name: Print go version | |
| run: go version | |
| - name: Setup GCC | |
| uses: Dup4/actions-setup-gcc@v1 | |
| with: | |
| version: latest | |
| - name: rust-cache | |
| uses: actions/cache@v3 | |
| with: | |
| path: | | |
| ~/.cargo/bin/ | |
| ~/.cargo/registry/index/ | |
| ~/.cargo/registry/cache/ | |
| ~/.cargo/git/db/ | |
| target/ | |
| ~/.rustup/ | |
| key: test-rust-nightly-2024-01-25-${{ hashFiles('**/Cargo.toml') }} | |
| restore-keys: rust-nightly-2024-01-25- | |
| - name: Install nightly toolchain | |
| id: rustc-toolchain | |
| uses: actions-rs/toolchain@v1 | |
| with: | |
| profile: minimal | |
| toolchain: nightly-2024-01-25 | |
| override: true | |
| - name: Run fibonacci-io example | |
| uses: actions-rs/cargo@v1 | |
| with: | |
| command: run | |
| args: --release --manifest-path examples/fibonacci-io/script/Cargo.toml | |
| env: | |
| RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 | |
| RUST_LOG: 1 | |
| RUST_BACKTRACE: 1 | |
| - name: Run cargo test on sp1-core | |
| uses: actions-rs/cargo@v1 | |
| with: | |
| command: test | |
| args: -p sp1-core --release | |
| env: | |
| RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 | |
| RUST_LOG: 1 | |
| RUST_BACKTRACE: 1 | |
| - name: Run cargo test on sp1-recursion-compiler | |
| uses: actions-rs/cargo@v1 | |
| with: | |
| command: test | |
| args: -p sp1-recursion-compiler --release | |
| env: | |
| RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 | |
| RUST_LOG: 1 | |
| RUST_BACKTRACE: 1 | |
| - name: Run cargo test on sp1-recursion-program | |
| uses: actions-rs/cargo@v1 | |
| with: | |
| command: test | |
| args: -p sp1-recursion-program --release | |
| env: | |
| RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 | |
| RUST_LOG: 1 | |
| RUST_BACKTRACE: 1 | |
| - name: Run cargo test on sp1-recursion-circuit | |
| uses: actions-rs/cargo@v1 | |
| with: | |
| command: test | |
| args: -p sp1-recursion-circuit --release | |
| env: | |
| RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 | |
| RUST_LOG: 1 | |
| RUST_BACKTRACE: 1 | |
| - name: Run cargo test with no default features | |
| uses: actions-rs/cargo@v1 | |
| with: | |
| command: test | |
| args: -p sp1-core --profile fast --no-default-features --features debug -- cpu::trace::tests::generate_trace | |
| env: | |
| RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 | |
| RUST_LOG: 1 | |
| RUST_BACKTRACE: 1 | |
| lints: | |
| name: Formatting & Clippy | |
| runs-on: warp-ubuntu-latest-arm64-16x | |
| if: "! contains(toJSON(github.event.commits.*.message), '[skip-ci]')" | |
| env: | |
| CARGO_NET_GIT_FETCH_WITH_CLI: "true" | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v2 | |
| - name: Set up git private repo access | |
| run: | | |
| git config --global url."https://${{ secrets.PRIVATE_PULL_TOKEN }}@github.com/".insteadOf ssh://[email protected] | |
| git config --global url."https://${{ secrets.PRIVATE_PULL_TOKEN }}@github.com".insteadOf https://github.com | |
| - name: Install Go 1.22 | |
| uses: actions/setup-go@v5 | |
| with: | |
| go-version: "1.22" | |
| - name: Print go version | |
| run: go version | |
| - name: Setup GCC | |
| uses: Dup4/actions-setup-gcc@v1 | |
| with: | |
| version: latest | |
| - name: rust-cache | |
| uses: actions/cache@v3 | |
| with: | |
| path: | | |
| ~/.cargo/bin/ | |
| ~/.cargo/registry/index/ | |
| ~/.cargo/registry/cache/ | |
| ~/.cargo/git/db/ | |
| target/ | |
| ~/.rustup/ | |
| key: clippy-rust-nightly-2024-01-25-${{ hashFiles('**/Cargo.toml') }} | |
| restore-keys: rust-nightly-2024-01-25- | |
| - name: Install nightly toolchain | |
| id: rustc-toolchain | |
| uses: actions-rs/toolchain@v1 | |
| with: | |
| profile: minimal | |
| toolchain: nightly-2024-01-25 | |
| override: true | |
| components: rustfmt, clippy | |
| - 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: | |
| CARGO_INCREMENTAL: 1 |