Skip to content

Conversation

@tcoratger
Copy link
Collaborator

No description provided.

Copy link
Contributor

@LindaGuiga LindaGuiga left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

@github-project-automation github-project-automation bot moved this from Todo to Ready to be merged in Plonky3 Recursion Oct 20, 2025
tcoratger and others added 3 commits October 21, 2025 16:16
Co-authored-by: Linda Guiga <101227802+LindaGuiga@users.noreply.github.com>
@LindaGuiga LindaGuiga merged commit 14fbd85 into Plonky3:main Oct 22, 2025
8 checks passed
@github-project-automation github-project-automation bot moved this from Ready to be merged to Done in Plonky3 Recursion Oct 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants