Skip to content

Conversation

@nsmith-
Copy link
Collaborator

@nsmith- nsmith- commented Jan 15, 2025

Fixes #45 and supersedes #124

@nsmith- nsmith- added this pull request to the merge queue Jan 15, 2025
Merged via the queue into master with commit 78f94f6 Jan 15, 2025
11 checks passed
@nsmith- nsmith- deleted the discriminated-union branch November 25, 2025 23:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

Long validation errors

2 participants