Skip to content

Replace formatversion.FormatData with a StrEnum#315

Merged
gkreitz merged 1 commit into
Kattis:developfrom
gkreitz:refactor_formatversion
May 16, 2025
Merged

Replace formatversion.FormatData with a StrEnum#315
gkreitz merged 1 commit into
Kattis:developfrom
gkreitz:refactor_formatversion

Conversation

@gkreitz
Copy link
Copy Markdown
Contributor

@gkreitz gkreitz commented May 16, 2025

The earlier code was a bit annoying to use. This PR replaces FormatData with an enum called FormatVersion with the same properties as FormatData had.

Comment thread problemtools/formatversion.py
@gkreitz gkreitz merged commit bd92eee into Kattis:develop May 16, 2025
4 checks passed
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.

2 participants