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

Bug/parsed input #40

Merged
merged 3 commits into from
Sep 7, 2024
Merged

Bug/parsed input #40

merged 3 commits into from
Sep 7, 2024

Conversation

janglad
Copy link
Owner

@janglad janglad commented Sep 7, 2024

Previously parsed input was only typed correctly but not actually at runtime. TBH worth considering in the future if this is even the path to take, could be annoying (for example if you just want to pass the input straight to a DB function).

@janglad janglad merged commit e5db138 into main Sep 7, 2024
1 check passed
@janglad janglad deleted the bug/parsed-input branch September 7, 2024 17:18
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.

1 participant