Skip to content

Commit cc44324

Browse files
committed
CI: Remove risc0 installation
1 parent 9dda219 commit cc44324

1 file changed

Lines changed: 0 additions & 3 deletions

File tree

.github/workflows/CI.yml

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -37,9 +37,6 @@ jobs:
3737
- uses: actions/checkout@v4
3838
- name: Build guests
3939
run: |
40-
curl -L https://risczero.com/install | bash
41-
rzup install cargo-risczero 2.0.2
42-
rzup install rust 1.85.0
4340
REPR_GUEST_BUILD=1 BITCOIN_NETWORK=mainnet cargo build -p header-chain-circuit --release
4441
REPR_GUEST_BUILD=1 BITCOIN_NETWORK=mainnet cargo build -p final-spv-circuit --release
4542

0 commit comments

Comments
 (0)