Skip to content

Commit

Permalink
fix: toolchain install from repo always
Browse files Browse the repository at this point in the history
  • Loading branch information
nhtyy committed Nov 26, 2024
1 parent 19721cc commit c5c777d
Showing 1 changed file with 28 additions and 37 deletions.
65 changes: 28 additions & 37 deletions .github/workflows/pr.yml
Original file line number Diff line number Diff line change
Expand Up @@ -37,11 +37,11 @@ jobs:
- name: Setup CI
uses: ./.github/actions/setup

- name: Install SP1 toolchain
- name: Install SP1 toolchain from repo
run: |
curl -L https://sp1.succinct.xyz | bash
~/.sp1/bin/sp1up
~/.sp1/bin/cargo-prove prove --version
cargo run -p sp1-cli -- prove install-toolchain
cd crates/cli
cargo install --force --locked --path .
- name: Run cargo check
uses: actions-rs/cargo@v1
Expand Down Expand Up @@ -80,11 +80,11 @@ jobs:
- name: Setup CI
uses: ./.github/actions/setup

- name: Install SP1 toolchain
- name: Install SP1 toolchain from repo
run: |
curl -L https://sp1.succinct.xyz | bash
~/.sp1/bin/sp1up
~/.sp1/bin/cargo-prove prove --version
cargo run -p sp1-cli -- prove install-toolchain
cd crates/cli
cargo install --force --locked --path .
- name: Run cargo check
uses: actions-rs/cargo@v1
Expand Down Expand Up @@ -116,11 +116,11 @@ jobs:
- name: Setup CI
uses: ./.github/actions/setup

- name: Install SP1 toolchain
- name: Install SP1 toolchain from repo
run: |
curl -L https://sp1.succinct.xyz | bash
~/.sp1/bin/sp1up
~/.sp1/bin/cargo-prove prove --version
cargo run -p sp1-cli -- prove install-toolchain
cd crates/cli
cargo install --force --locked --path .
- name: Run cargo fmt
uses: actions-rs/cargo@v1
Expand Down Expand Up @@ -158,11 +158,11 @@ jobs:
- name: Setup CI
uses: ./.github/actions/setup

- name: Install SP1 toolchain
- name: Install SP1 toolchain from repo
run: |
curl -L https://sp1.succinct.xyz | bash
~/.sp1/bin/sp1up
~/.sp1/bin/cargo-prove prove --version
cargo run -p sp1-cli -- prove install-toolchain
cd crates/cli
cargo install --force --locked --path .
- name: Check workspace no features
uses: actions-rs/cargo@v1
Expand Down Expand Up @@ -201,9 +201,11 @@ jobs:
- name: Setup CI
uses: ./.github/actions/setup

- name: Install SP1 toolchain
- name: Install SP1 toolchain from repo
run: |
cargo run -p sp1-cli -- prove install-toolchain
cd crates/cli
cargo install --force --locked --path .
- name: Run cargo fmt
run: |
Expand Down Expand Up @@ -232,17 +234,11 @@ jobs:
- name: Setup CI
uses: ./.github/actions/setup

- 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
- name: Install SP1 toolchain from repo
run: |
cargo run -p sp1-cli -- prove install-toolchain
cd crates/cli
cargo install --force --locked --path .
cd ~
- name: Run cargo prove new
run: |
Expand Down Expand Up @@ -271,11 +267,11 @@ jobs:
- name: Setup CI
uses: ./.github/actions/setup

- name: Install SP1 toolchain
- name: Install SP1 toolchain from repo
run: |
curl -L https://sp1.succinct.xyz | bash
~/.sp1/bin/sp1up
~/.sp1/bin/cargo-prove prove --version
cargo run -p sp1-cli -- prove install-toolchain
cd crates/cli
cargo install --force --locked --path .
- name: Run Evaluation
run: |
Expand Down Expand Up @@ -303,6 +299,7 @@ jobs:
[
runs-on,
"ram=${{ matrix.mem_limit}}",
disk=large,
family=c7a,
image=ubuntu22-full-x64,
"run-id=${{ github.run_id }}",
Expand All @@ -316,17 +313,11 @@ jobs:
- name: Setup CI
uses: ./.github/actions/setup

- 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
- name: Install SP1 toolchain from repo
run: |
cargo run -p sp1-cli -- prove install-toolchain
cd crates/cli
cargo install --force --locked --path .
cd ~
- name: Run tendermint script
run: |
Expand Down

0 comments on commit c5c777d

Please sign in to comment.