Skip to content

Commit 5e8cb39

Browse files
committed
install r0 tools in workflow
1 parent 62852eb commit 5e8cb39

File tree

1 file changed

+6
-3
lines changed

1 file changed

+6
-3
lines changed

.github/workflows/main.yml

Lines changed: 6 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -36,10 +36,13 @@ jobs:
3636
- name: Install Foundry
3737
uses: risc0/foundry-toolchain@2fe7e70b520f62368a0e3c464f997df07ede420f
3838

39-
- name: risczero toolchain install
40-
uses: risc0/risc0-ethereum/.github/actions/cargo-risczero-install@release-1.2
39+
- name: install cargo risczero
40+
uses: ./.github/actions/bininstall-risc0
4141
with:
42-
ref: ${{ env.RISC0_MONOREPO_REF }}
42+
risczero-version: "2.0.0"
43+
toolchain-version: "1.85.0"
44+
env:
45+
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
4346

4447
- name: build rust membership guest
4548
working-directory: guests/membership

0 commit comments

Comments
 (0)