anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2025-01-06 06:53:33 +03:00
Code Issues Projects Releases Wiki Activity

Fix RISC0 on the CI (#3061)

Browse Source 
It seems that whenever a new major version of `cargo-risczero` becomes
available, the CI needs to be updated to install this version.
This commit is contained in:
Łukasz Czajka 2024-09-26 13:30:04 +02:00 committed by GitHub
parent 7ae42a1d43
commit 038931ac6c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/ci.yml vendored
View File

@ -197,7 +197,7 @@ jobs:
shell: bash
run: |
cargo install cargo-binstall@1.6.9 --force
cargo binstall cargo-risczero@1.0.5 --no-confirm --force
cargo binstall cargo-risczero@1.1.1 --no-confirm --force
cargo risczero install
- name: Checkout CairoVM
@ -413,7 +413,7 @@ jobs:
shell: bash
run: |
cargo install cargo-binstall@1.6.9 --force
cargo binstall cargo-risczero@1.0.5 --no-confirm --force
cargo binstall cargo-risczero@1.1.1 --no-confirm --force
cargo risczero install
- name: Checkout CairoVM