Skip to content
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.

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

New UUIDs #514

Merged
merged 4 commits into from
Jan 3, 2024
Merged

New UUIDs #514

merged 4 commits into from
Jan 3, 2024

Conversation

FWDekker
Copy link
Owner

@FWDekker FWDekker commented Jan 3, 2024

Adds support for UUID version 6, 7, and 8. Technically, those are currently only in the draft phase, but my understanding is that their specifications are unlikely to change.

Fixes #513.

Additionally, I renamed the type field of the UuidScheme to version, because that's more accurate; user configs are migrated automatically using the API introduced in #464. Since this is the first time I actually used that API, I also fixed some usability and clarity issues and added more utility methods.

(I also snuck in a little bug fix.)

@FWDekker FWDekker added the feature New feature or request label Jan 3, 2024
@FWDekker FWDekker self-assigned this Jan 3, 2024
Copy link

codecov bot commented Jan 3, 2024

Codecov Report

Attention: 9 lines in your changes are missing coverage. Please review.

Comparison is base (aa0a143) 85.09% compared to head (0fbe43c) 85.50%.

Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##             main     #514      +/-   ##
==========================================
+ Coverage   85.09%   85.50%   +0.41%     
==========================================
  Files          51       51              
  Lines        1992     2035      +43     
  Branches      335      343       +8     
==========================================
+ Hits         1695     1740      +45     
+ Misses        234      224      -10     
- Partials       63       71       +8     

@FWDekker FWDekker merged commit 48f983e into main Jan 3, 2024
8 checks passed
@FWDekker FWDekker deleted the new-uuids branch January 3, 2024 15:44
@FWDekker FWDekker mentioned this pull request Jan 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Extend UUID Generation to Include Versions
1 participant