anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-24 16:12:14 +03:00
Code Issues Projects Releases Wiki Activity

Fix RISC0 CI (#3233)

Browse Source
This commit is contained in:
Łukasz Czajka 2024-12-05 14:12:21 +01:00 committed by GitHub
parent 021fc0ccb8
commit 1a76df9486
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -223,11 +223,13 @@ jobs:
with:
cache-on-failure: false
# cargo-risczero version needs to be updated to the latest version if the
# CI reports a version inconsistency error
- name: Install RISC0 VM
shell: bash
run: |
cargo install cargo-binstall@1.6.9 --force
cargo binstall cargo-risczero@1.1.1 --no-confirm --force
cargo binstall cargo-risczero@1.2.0 --no-confirm --force
cargo risczero install
- name: Checkout CairoVM