Skip to content

Comments

feat: support for risc0 v3_0#64

Merged
davehorizen merged 1 commit intomainfrom
WEB3-1870-risc0-v3_0
Oct 2, 2025
Merged

feat: support for risc0 v3_0#64
davehorizen merged 1 commit intomainfrom
WEB3-1870-risc0-v3_0

Conversation

@davehorizen
Copy link
Contributor

No description provided.

@davehorizen davehorizen requested a review from a team as a code owner October 2, 2025 16:00
@davehorizen davehorizen merged commit 3cd0d47 into main Oct 2, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants