Skip to content

fix: replace zkmips deps#234

Merged
eigmax merged 2 commits intomainfrom
fix/replace-zkmips-deps
Jul 7, 2025
Merged

fix: replace zkmips deps#234
eigmax merged 2 commits intomainfrom
fix/replace-zkmips-deps

Conversation

@eigmax
Copy link
Copy Markdown
Member

@eigmax eigmax commented Jul 7, 2025

No description provided.

@eigmax eigmax changed the title Fix/replace zkmips deps fix: replace zkmips deps Jul 7, 2025
@eigmax eigmax merged commit d7233b4 into main Jul 7, 2025
3 checks passed
@eigmax eigmax deleted the fix/replace-zkmips-deps branch July 7, 2025 07:11
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.

1 participant