chore: don't skip deploy step #580
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: Main | |
| on: | |
| pull_request: | |
| branches: | |
| - main | |
| paths: | |
| - "crates/**" | |
| - "Cargo.toml" | |
| - ".github/workflows/**" | |
| env: | |
| SP1_CI_IN_PROGRESS: "true" | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| groth16: | |
| name: Groth16 Native | |
| runs-on: | |
| [ | |
| runs-on, | |
| cpu=64, | |
| ram=256, | |
| family=m7i+m7a, | |
| disk=large, | |
| image=ubuntu22-full-x64, | |
| spot=false, | |
| "run-id=${{ github.run_id }}", | |
| ] | |
| env: | |
| CARGO_NET_GIT_FETCH_WITH_CLI: "true" | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v4 | |
| - name: Setup CI | |
| uses: ./.github/actions/setup | |
| with: | |
| pull_token: ${{ secrets.PRIVATE_PULL_TOKEN }} | |
| - name: Install SP1 toolchain from repo | |
| run: | | |
| cargo run -p sp1-cli -- prove install-toolchain | |
| cd crates/cli | |
| cargo install --force --locked --path . | |
| cargo clean | |
| - name: Run cargo test | |
| uses: actions-rs/cargo@v1 | |
| with: | |
| command: test | |
| toolchain: 1.81.0 | |
| args: --release -p sp1-sdk --features native-gnark -- test_e2e_groth16_plonk --nocapture | |
| env: | |
| RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -C target-cpu=native | |
| RUST_BACKTRACE: 1 | |
| groth16-docker: | |
| name: Groth16 Docker | |
| runs-on: | |
| [ | |
| runs-on, | |
| cpu=64, | |
| ram=256, | |
| family=m7i+m7a, | |
| disk=large, | |
| image=ubuntu22-full-x64, | |
| spot=false, | |
| "run-id=${{ github.run_id }}", | |
| ] | |
| env: | |
| CARGO_NET_GIT_FETCH_WITH_CLI: "true" | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v4 | |
| - name: Setup CI | |
| uses: ./.github/actions/setup | |
| with: | |
| pull_token: ${{ secrets.PRIVATE_PULL_TOKEN }} | |
| - name: Install SP1 toolchain from repo | |
| run: | | |
| cargo run -p sp1-cli -- prove install-toolchain | |
| cd crates/cli | |
| cargo install --force --locked --path . | |
| cargo clean | |
| - name: Run cargo test | |
| uses: actions-rs/cargo@v1 | |
| with: | |
| command: test | |
| toolchain: 1.81.0 | |
| args: --release -p sp1-sdk -- test_e2e_prove_groth16 --nocapture | |
| env: | |
| RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -C target-cpu=native | |
| RUST_BACKTRACE: 1 | |
| plonk: | |
| name: Plonk Native | |
| runs-on: | |
| [ | |
| runs-on, | |
| cpu=64, | |
| ram=256, | |
| family=m7i+m7a, | |
| disk=large, | |
| image=ubuntu22-full-x64, | |
| spot=false, | |
| "run-id=${{ github.run_id }}", | |
| ] | |
| env: | |
| CARGO_NET_GIT_FETCH_WITH_CLI: "true" | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v4 | |
| - name: Setup CI | |
| uses: ./.github/actions/setup | |
| with: | |
| pull_token: ${{ secrets.PRIVATE_PULL_TOKEN }} | |
| - name: Install SP1 toolchain from repo | |
| run: | | |
| cargo run -p sp1-cli -- prove install-toolchain | |
| cd crates/cli | |
| cargo install --force --locked --path . | |
| cargo clean | |
| - name: Run cargo test | |
| uses: actions-rs/cargo@v1 | |
| with: | |
| command: test | |
| toolchain: 1.81.0 | |
| args: --release -p sp1-sdk --features native-gnark -- test_e2e_prove_plonk --nocapture | |
| env: | |
| RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -C target-cpu=native | |
| RUST_BACKTRACE: 1 | |
| plonk-docker: | |
| name: Plonk Docker | |
| runs-on: | |
| [ | |
| runs-on, | |
| cpu=64, | |
| ram=256, | |
| family=m7i+m7a, | |
| disk=large, | |
| image=ubuntu22-full-x64, | |
| spot=false, | |
| "run-id=${{ github.run_id }}", | |
| ] | |
| env: | |
| CARGO_NET_GIT_FETCH_WITH_CLI: "true" | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v4 | |
| - name: Setup CI | |
| uses: ./.github/actions/setup | |
| with: | |
| pull_token: ${{ secrets.PRIVATE_PULL_TOKEN }} | |
| - name: Install SP1 toolchain from repo | |
| run: | | |
| cargo run -p sp1-cli -- prove install-toolchain | |
| cd crates/cli | |
| cargo install --force --locked --path . | |
| cargo clean | |
| - name: Run cargo test | |
| uses: actions-rs/cargo@v1 | |
| with: | |
| command: test | |
| toolchain: 1.81.0 | |
| args: --release -p sp1-sdk -- test_e2e_prove_plonk --nocapture | |
| env: | |
| RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -C target-cpu=native | |
| RUST_BACKTRACE: 1 | |
| check-branch: | |
| name: Check branch | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Check branch | |
| if: github.head_ref != 'dev' && !startsWith(github.head_ref, 'release/') && !startsWith(github.head_ref, 'hotfix/') | |
| run: | | |
| echo "ERROR: You can only merge to main from dev, release/*, or hotfix/*." | |
| exit 1 | |
| ssz-withdrawals: | |
| name: Example (SSZ Withdrawals) | |
| runs-on: | |
| [ | |
| runs-on, | |
| runner=64cpu-linux-arm64, | |
| spot=false, | |
| "run-id=${{ github.run_id }}", | |
| ] | |
| env: | |
| CARGO_NET_GIT_FETCH_WITH_CLI: "true" | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v4 | |
| - name: Setup CI | |
| uses: ./.github/actions/setup | |
| with: | |
| pull_token: ${{ secrets.PRIVATE_PULL_TOKEN }} | |
| - name: Install SP1 toolchain | |
| run: | | |
| curl -L https://sp1.succinct.xyz | bash | |
| ~/.sp1/bin/sp1up | |
| ~/.sp1/bin/cargo-prove prove --version | |
| - name: Install SP1 CLI | |
| run: | | |
| cd crates/cli | |
| cargo install --force --locked --path . | |
| cd ~ | |
| - name: Run script | |
| run: | | |
| cd examples/ssz-withdrawals/program | |
| cargo add sp1-zkvm --path $GITHUB_WORKSPACE/crates/zkvm/entrypoint | |
| cargo prove build | |
| cd ../script | |
| cargo remove sp1-sdk | |
| cargo add sp1-sdk --path $GITHUB_WORKSPACE/crates/sdk | |
| SP1_DEV=1 RUST_LOG=info cargo run --release | |
| cycle-tracking: | |
| name: Example (Cycle Tracking) | |
| runs-on: | |
| [ | |
| runs-on, | |
| runner=64cpu-linux-arm64, | |
| spot=false, | |
| "run-id=${{ github.run_id }}", | |
| ] | |
| env: | |
| CARGO_NET_GIT_FETCH_WITH_CLI: "true" | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v4 | |
| - name: Setup CI | |
| uses: ./.github/actions/setup | |
| with: | |
| pull_token: ${{ secrets.PRIVATE_PULL_TOKEN }} | |
| - name: Install SP1 toolchain | |
| run: | | |
| curl -L https://sp1.succinct.xyz | bash | |
| ~/.sp1/bin/sp1up | |
| ~/.sp1/bin/cargo-prove prove --version | |
| - name: Install SP1 CLI | |
| run: | | |
| cd crates/cli | |
| cargo install --force --locked --path . | |
| cd ~ | |
| - name: Run script | |
| run: | | |
| cd examples/cycle-tracking/script | |
| cargo add sp1-sdk --path $GITHUB_WORKSPACE/crates/sdk | |
| SP1_DEV=1 RUST_LOG=info cargo run --release | |
| tendermint: | |
| name: Example (Tendermint) | |
| runs-on: | |
| [ | |
| runs-on, | |
| runner=64cpu-linux-arm64, | |
| spot=false, | |
| "run-id=${{ github.run_id }}", | |
| ] | |
| env: | |
| CARGO_NET_GIT_FETCH_WITH_CLI: "true" | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v4 | |
| - name: Setup CI | |
| uses: ./.github/actions/setup | |
| with: | |
| pull_token: ${{ secrets.PRIVATE_PULL_TOKEN }} | |
| - name: Install SP1 toolchain | |
| run: | | |
| curl -L https://sp1.succinct.xyz | bash | |
| ~/.sp1/bin/sp1up | |
| ~/.sp1/bin/cargo-prove prove --version | |
| - name: Install SP1 CLI | |
| run: | | |
| cd crates/cli | |
| cargo install --force --locked --path . | |
| cd ~ | |
| - name: Run script | |
| run: | | |
| cd examples/tendermint/program | |
| cargo add sp1-zkvm --path $GITHUB_WORKSPACE/crates/zkvm/entrypoint | |
| cargo prove build | |
| cd ../script | |
| cargo remove sp1-sdk | |
| cargo add sp1-sdk --path $GITHUB_WORKSPACE/crates/sdk | |
| SP1_DEV=1 RUST_LOG=info cargo run --release | |
| patch-testing: | |
| name: "Run all tests for patches in the vm" | |
| runs-on: | |
| [ | |
| runs-on, | |
| runner=64cpu-linux-x64, | |
| disk=large, | |
| spot=false, | |
| "run-id=${{ github.run_id }}", | |
| ] | |
| env: | |
| CARGO_NET_GIT_FETCH_WITH_CLI: "true" | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v4 | |
| - name: Setup CI | |
| uses: ./.github/actions/setup | |
| with: | |
| pull_token: ${{ secrets.PRIVATE_PULL_TOKEN }} | |
| - name: Install SP1 toolchain from repo | |
| run: | | |
| cargo run -p sp1-cli -- prove install-toolchain | |
| cd crates/cli | |
| cargo install --force --locked --path . | |
| cargo clean | |
| - name: Run patch testing | |
| run: | | |
| cd ./patch-testing/ | |
| cargo check --all-targets | |
| cargo test | |
| # TODO: Re-enable on public release. | |
| # cli: | |
| # name: CLI | |
| # runs-on: [runs-on, runner=8cpu-linux-x64, disk=large, "run-id=${{ github.run_id }}"] | |
| # env: | |
| # CARGO_NET_GIT_FETCH_WITH_CLI: "true" | |
| # steps: | |
| # - name: Checkout sources | |
| # uses: actions/checkout@v4 | |
| # - name: Setup CI | |
| # uses: ./.github/actions/setup | |
| # - name: Install SP1 toolchain from repo | |
| # run: | | |
| # cargo run -p sp1-cli -- prove install-toolchain | |
| # cd crates/cli | |
| # cargo install --force --locked --path . | |
| # cargo clean | |
| # - name: Run cargo prove new | |
| # run: | | |
| # cargo prove new fibonacci --version dev --evm | |
| # - name: Build program and run script | |
| # run: | | |
| # cd fibonacci | |
| # cd program | |
| # cargo add sp1-zkvm --path $GITHUB_WORKSPACE/crates/zkvm/entrypoint | |
| # cargo prove build | |
| # cd ../script | |
| # cargo remove sp1-sdk | |
| # cargo add sp1-sdk --path $GITHUB_WORKSPACE/crates/sdk | |
| # SP1_DEV=1 RUST_LOG=info cargo run --release -- --prove |