Skip to content

#15 | fix resolving of wrong type#16

Merged
philipphermes merged 1 commit intomainfrom
bugfix/wrong-type
Jan 1, 2026
Merged

#15 | fix resolving of wrong type#16
philipphermes merged 1 commit intomainfrom
bugfix/wrong-type

Conversation

@philipphermes
Copy link
Owner

Closes #15

@philipphermes philipphermes self-assigned this Jan 1, 2026
@philipphermes philipphermes added the bug Something isn't working label Jan 1, 2026
@philipphermes philipphermes merged commit 587cdb4 into main Jan 1, 2026
2 checks passed
@philipphermes philipphermes deleted the bugfix/wrong-type branch January 1, 2026 13:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Wrong Type used

1 participant