Skip to content

xmss: stronger typing checks and tests #175

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
tcoratger merged 1 commit into from
Nov 18, 2025
Merged

xmss: stronger typing checks and tests #175

tcoratger merged 1 commit into from
Nov 18, 2025

Conversation

@tcoratger
Copy link
Collaborator

@tcoratger tcoratger commented Nov 18, 2025

🗒️ Description

🔗 Related Issues or PRs

✅ Checklist

  • Ran tox checks to avoid unnecessary CI fails: 
    uvx tox
  • Considered adding appropriate tests for the changes.
  • Considered updating the online docs in the ./docs/ directory.

@tcoratger tcoratger mentioned this pull request Nov 18, 2025
Open
1 task
@tcoratger tcoratger merged commit 80212c6 into leanEthereum:main Nov 18, 2025
10 checks passed
@unnawut unnawut added this to the pq-devnet-1 milestone Nov 28, 2025
@unnawut unnawut added the specs Scope: Changes to the specifications label Nov 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

specs Scope: Changes to the specifications

Projects

None yet

Milestone

pq-devnet-1

Development

Successfully merging this pull request may close these issues.

2 participants

@tcoratger @unnawut