Skip to content

Update to mypy-1.20.0#15588

Merged
srittau merged 13 commits intopython:mainfrom
srittau:mypy-1.20.0
Apr 1, 2026
Merged

Update to mypy-1.20.0#15588
srittau merged 13 commits intopython:mainfrom
srittau:mypy-1.20.0

Conversation

@srittau
Copy link
Copy Markdown
Collaborator

@srittau srittau commented Apr 1, 2026

@github-actions

This comment has been minimized.

@github-actions

This comment has been minimized.

@github-actions

This comment has been minimized.

@github-actions

This comment has been minimized.

@github-actions

This comment has been minimized.

@github-actions

This comment has been minimized.

@github-actions

This comment has been minimized.

@github-actions

This comment has been minimized.

@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Apr 1, 2026

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

@srittau srittau marked this pull request as ready for review April 1, 2026 14:20
@srittau
Copy link
Copy Markdown
Collaborator Author

srittau commented Apr 1, 2026

This is ready for review now. Apart from the version change, this only contains (lots of) stubtest changes.

@srittau srittau merged commit 8ffc436 into python:main Apr 1, 2026
88 checks passed
@srittau srittau deleted the mypy-1.20.0 branch April 1, 2026 15:02
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