10000 Bump mypy to 1.5.1 by AlexWaygood · Pull Request #10559 · python/typeshed · GitHub
[go: up one dir, main page]
Skip to content

Bump mypy to 1.5.1 #10559

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 13 commits into from
Aug 16, 2023
Merged

Bump mypy to 1.5.1 #10559

merged 13 commits into from
Aug 16, 2023

Conversation

AlexWaygood
Copy link
Member

As per the discussion in #10113, this means we stop testing with mypy/stubtest on Python 3.7, as mypy 1.5 no longer supports being run on Python 3.7. However, we're not removing compatibility with Python 3.7 just yet -- we're not using PEP-570 syntax in stubs or getting rid of the Python 3.7 branches from stubs.

@AlexWaygood AlexWaygood mentioned this pull request Aug 11, 2023
Closed
@AlexWaygood
Copy link
Member Author

Looks like something's gone wrong with the mypy release, which means that python/mypy#15751 was accidentally left out of the release: python/mypy#15588 (comment)

@AlexWaygood AlexWaygood mentioned this pull request Aug 11, 2023
Closed
srittau
srittau reviewed Aug 14, 2023
View reviewed changes
@AlexWaygood AlexWaygood mentioned this pull request Aug 15, 2023
Merged
@AlexWaygood AlexWaygood changed the title Bump mypy to 1.5 Bump mypy to 1.5.1 Aug 16, 2023
@AlexWaygood AlexWaygood marked this pull request as ready for review August 16, 2023 17:24
@AlexWaygood
Copy link
Member Author

All green now 🎉

hauntsaninja
hauntsaninja approved these changes Aug 16, 2023
View reviewed changes
Copy link
Collaborator
@hauntsaninja hauntsaninja left a comment

Choose a reason for hiding this comment

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

Thank you!

@hauntsaninja hauntsaninja merged commit ef758b6 into python:main Aug 16, 2023
@AlexWaygood AlexWaygood deleted the mypy-1.5 branch August 16, 2023 19:41
@Screwtapello Screwtapello mentioned this pull request Aug 21, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@srittau srittau srittau left review comments

@Avasam Avasam Avasam left review comments

@hauntsaninja hauntsaninja hauntsaninja approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@AlexWaygood @srittau @Avasam @hauntsaninja
0