Skip to content

Update ZKVM header graphic#355

Closed
smart3ll wants to merge 1 commit intomainfrom
update-zkvm-header
Closed

Update ZKVM header graphic#355
smart3ll wants to merge 1 commit intomainfrom
update-zkvm-header

Conversation

@smart3ll
Copy link
Contributor

Before opening your pull request, please respond to the following prompts.

Is this resolving a feature or a bug?

NB: We DO NOT accept typo fixes. Generally, we do not accept edits to comments (starting with //) or minor grammatical and technical edits more generally, but do accept substantive fixes and improvements to the content of documentation comments (///) and README files.

Are there existing issue(s) that this PR would close?

If this PR is not minimal (it could be split into multiple PRs), please explain why the issues are best resolved together.

Describe your changes.

@smart3ll smart3ll requested a review from sjudson February 11, 2025 18:31
@sjudson
Copy link
Contributor

sjudson commented Feb 11, 2025

Closing due to internal discussion.

@sjudson sjudson closed this Feb 11, 2025
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