Skip to content

More type hints#872

Merged
tomwhite merged 1 commit intomainfrom
mypy-more-improvements
Jan 28, 2026
Merged

More type hints#872
tomwhite merged 1 commit intomainfrom
mypy-more-improvements

Conversation

@tomwhite
Copy link
Copy Markdown
Member

No description provided.

@tomwhite tomwhite added the tools label Jan 28, 2026
@tomwhite tomwhite force-pushed the mypy-more-improvements branch from df121f2 to 5210874 Compare January 28, 2026 10:23
@tomwhite tomwhite merged commit 323c024 into main Jan 28, 2026
19 of 21 checks passed
@tomwhite tomwhite deleted the mypy-more-improvements branch January 28, 2026 11:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant