Skip to content

Conversation

@samliok
Copy link
Collaborator

@samliok samliok commented Mar 6, 2025

small cleanup + reduce the diff for #117

@yacovm yacovm merged commit 29427b8 into main Mar 10, 2025
5 checks passed
@samliok samliok deleted the vote-round branch March 20, 2025 22:54
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.

3 participants