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

Fix RISC0 compilation on the CI (#3015)

Browse Source
This commit is contained in:
Łukasz Czajka 2024-09-10 17:17:00 +02:00 committed by GitHub
parent d8919087dd
commit 5d0aa6ea54
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

@ -161,7 +161,7 @@ jobs:
shell: bash
run: |
cargo install cargo-binstall@1.6.9 --force
cargo binstall cargo-risczero@1.0.2 --no-confirm --force
cargo binstall cargo-risczero@1.1.0 --no-confirm --force
cargo risczero install
- name: Checkout CairoVM
@ -377,7 +377,7 @@ jobs:
shell: bash
run: |
cargo install cargo-binstall@1.6.9 --force
cargo binstall cargo-risczero@1.0.2 --no-confirm --force
cargo binstall cargo-risczero@1.1.0 --no-confirm --force
cargo risczero install
- name: Checkout CairoVM