Cleanup ID types #109

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

fpagnoux merged 2 commits into main from branded-types

Nov 8, 2025

Member

fpagnoux commented Nov 8, 2025

Some ID types were marked as string, but they're actually number
Use branded types to avoid mix-and-matching

fpagnoux added 2 commits

November 7, 2025 19:28


          More branded types

c11338f


          More

fc90b30

fpagnoux merged commit 6f1ed8a into main

2 checks passed

fpagnoux deleted the branded-types branch

November 8, 2025 00:44

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet