Repository navigation

ci: fix to use cargo-risczero v3.0.3 - #4

Merged

bluele merged 1 commit into

mainfrom

Sep 16, 2025

Merged

ci: fix to use cargo-risczero v3.0.3#4
bluele merged 1 commit into
mainfrom
fix-ci

Commits on Sep 16, 2025
- ci: fix to use cargo-risczero v3.0.3
  bluele
  committed
  03b9293