Update `risc0` to `v5.0.0-rc.1` #269

Open

Labels

bot

opened

on Jan 15, 2026

A new version of risc0 is available.

Current version: v3.0.4
Latest version: v5.0.0-rc.1

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests