Skip to content

Conversation

@paolobarbolini
Copy link
Member

@paolobarbolini paolobarbolini commented Oct 28, 2025

No description provided.

@paolobarbolini paolobarbolini force-pushed the json-tagged-enum branch 2 times, most recently from f665ad6 to adf4fcf Compare November 3, 2025 06:20
@paolobarbolini paolobarbolini force-pushed the json-tagged-enum branch 3 times, most recently from 589867c to f18f75d Compare January 3, 2026 15:34
@paolobarbolini paolobarbolini marked this pull request as ready for review January 3, 2026 15:55
@paolobarbolini paolobarbolini merged commit 24098c1 into main Jan 7, 2026
16 checks passed
@paolobarbolini paolobarbolini deleted the json-tagged-enum branch January 7, 2026 10:52
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