Skip to content

Add ty type checker#66

Merged
JanosJiri merged 5 commits into
mainfrom
add-ty
Apr 27, 2026
Merged

Add ty type checker#66
JanosJiri merged 5 commits into
mainfrom
add-ty

Conversation

@danielhollas

@danielhollas danielhollas commented Apr 18, 2026

Copy link
Copy Markdown
Collaborator

This adds typing throughout the code, and ty type checker (from the same people who built ruff) to check the types in CI. This should make future changes to the code safer.

(had this branch lying around for a while)

@JanosJiri

Copy link
Copy Markdown
Collaborator

Nice @danielhollas, I like it! Fancy, as always. Once you finish that, should we release v1.0.3 to resolve issue #65?

@danielhollas
danielhollas marked this pull request as ready for review April 20, 2026 07:47
@danielhollas

Copy link
Copy Markdown
Collaborator Author

@JanosJiri this is ready, thanks!

@danielhollas
danielhollas requested a review from JanosJiri April 26, 2026 22:50

@JanosJiri JanosJiri left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice work @danielhollas. All looks good to me, thank you!!

@JanosJiri
JanosJiri merged commit 5f986bf into main Apr 27, 2026
2 checks passed
@JanosJiri
JanosJiri deleted the add-ty branch April 27, 2026 07:30
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