Skip to content

Add more type definitions#14

Merged
derjanb merged 1 commit intomainfrom
more_typesafety
Dec 7, 2025
Merged

Add more type definitions#14
derjanb merged 1 commit intomainfrom
more_typesafety

Conversation

@derjanb
Copy link
Copy Markdown
Member

@derjanb derjanb commented Dec 7, 2025

No description provided.

@derjanb derjanb merged commit cc5ec83 into main Dec 7, 2025
1 check passed
@derjanb derjanb deleted the more_typesafety branch December 7, 2025 09:28
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