Skip to content

Commit da2a576

Browse files
authored
fix(l2): use GITHUB_TOKEN for sp1up and rzup actions (#3655)
**Motivation** The SP1 toolchain fails sometimes to install with a generic "Failed to fetch releases list" error, but the cause may be an [API rate limit](succinctlabs/sp1#2320 (comment)) The Risc0 toolchain has the same problem, explicitly returning an API rate limit error. We bypass this by authenticating using the `GITHUB_TOKEN`
1 parent 5839db8 commit da2a576

File tree

3 files changed

+11
-1
lines changed

3 files changed

+11
-1
lines changed

.github/workflows/main_prover.yaml

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -27,6 +27,8 @@ jobs:
2727

2828
- name: RISC-V SP1 toolchain install
2929
# if: ${{ always() && github.event_name == 'merge_group' }}
30+
env:
31+
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
3032
run: |
3133
. "$HOME/.cargo/env"
3234
curl -L https://sp1.succinct.xyz | bash
@@ -92,4 +94,4 @@ jobs:
9294
9395
- name: Ensure admin permissions in _work
9496
if: always()
95-
run: sudo chown admin:admin -R /home/admin/actions-runner/_work/
97+
run: sudo chown admin:admin -R /home/admin/actions-runner/_work/

.github/workflows/main_prover_l1.yaml

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -32,13 +32,17 @@ jobs:
3232

3333
- name: RISC-V Risc0 toolchain install
3434
if: matrix.backend == 'risc0'
35+
env:
36+
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
3537
# should be able to specify a version for `rzup install rust` (toolchain version)
3638
# but it throws a "error decoding response body" in that case
3739
run: |
3840
curl -L https://risczero.com/install | bash
3941
~/.risc0/bin/rzup install cargo-risczero 2.1.0
4042
~/.risc0/bin/rzup install rust
4143
- name: RISC-V SP1 toolchain install
44+
env:
45+
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
4246
if: matrix.backend == 'sp1'
4347
run: |
4448
curl -L https://sp1.succinct.xyz | bash

.github/workflows/pr-main_l2_prover.yaml

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -35,6 +35,8 @@ jobs:
3535
3636
- name: RISC-V Risc0 toolchain install
3737
if: matrix.backend == 'risc0'
38+
env:
39+
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
3840
# should be able to specify a version for `rzup install rust` (toolchain version)
3941
# but it throws a "error decoding response body" in that case
4042
run: |
@@ -44,6 +46,8 @@ jobs:
4446
4547
- name: RISC-V SP1 toolchain install
4648
if: matrix.backend == 'sp1'
49+
env:
50+
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
4751
run: |
4852
curl -L https://sp1.succinct.xyz | bash
4953
~/.sp1/bin/sp1up --version 5.0.0

0 commit comments

Comments
 (0)