Skip to content

Conversation

@lispc
Copy link
Collaborator

@lispc lispc commented Nov 21, 2025

No description provided.

@github-actions github-actions bot added crate-prover Updates to the prover crate crate-verifier Updates to the verifier crate crate-integration Updates to the integration crate labels Nov 21, 2025
@lispc lispc linked an issue Nov 21, 2025 that may be closed by this pull request
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

crate-integration Updates to the integration crate crate-prover Updates to the prover crate crate-verifier Updates to the verifier crate

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Remove openvm_v13 post-Galileo

2 participants