Skip to content

Typing#48

Merged
contagon merged 13 commits into
masterfrom
typing
Sep 15, 2025
Merged

Typing#48
contagon merged 13 commits into
masterfrom
typing

Conversation

@contagon
Copy link
Copy Markdown
Owner

This PR adds a CI runner to check typing using basedpyright, and fixes a lot of little typing errors. It shouldn't have any change in behavior though.

Eventually we'll probably move from basedpyright to ty, but ty is still in beta.

@contagon
Copy link
Copy Markdown
Owner Author

Also added in ruff imports autosorting!

@contagon contagon merged commit 7cd0a20 into master Sep 15, 2025
12 checks passed
@contagon contagon deleted the typing branch October 25, 2025 18:49
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