feat: add `succinct-zkvm` os and target#138463

Open

nhtyy wants to merge 7 commits intorust-lang:masterfrom succinctlabs:n/succinct-target-only

Commits on Mar 14, 2025

fix: tidy ci
nhtyy
committed

Commits on Mar 18, 2025