Skip to content

Conversation

@srittau
Copy link
Collaborator

@srittau srittau commented Jan 8, 2026

No description provided.

@AlexWaygood
Copy link
Member

See #15201 and #15200 for previous attempts

@srittau srittau linked an issue Jan 8, 2026 that may be closed by this pull request
@srittau srittau marked this pull request as ready for review January 8, 2026 10:47
@srittau srittau merged commit 7b3d25d into python:main Jan 8, 2026
80 checks passed
@srittau srittau deleted the mypy-1.19.1 branch January 8, 2026 10:47
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.

Bump mypy to the latest version

2 participants