anoma / juvix

A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
457 stars 53 forks source link

Fix RISC0 on the CI #3061

Closed lukaszcz closed 1 month ago

lukaszcz commented 1 month ago

It seems that whenever a new major version of cargo-risczero becomes available, the CI needs to be updated to install this version.