Skip to content
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

Upgrade to latest mypy #3775

Merged
merged 1 commit into from Jul 10, 2023
Merged

Upgrade to latest mypy #3775

merged 1 commit into from Jul 10, 2023

Conversation

hauntsaninja
Copy link
Collaborator

Newer mypy is typically much faster, a lot has happened since 0.991

@hauntsaninja
Upgrade to latest mypy
1444168 
Newer mypy is typically much faster, a lot has happened since 0.991
@hauntsaninja hauntsaninja added the skip news Pull requests that don't need a changelog entry. label Jul 9, 2023
cooperlees
cooperlees approved these changes Jul 9, 2023
View reviewed changes
Copy link
Collaborator

@cooperlees cooperlees left a comment

Choose a reason for hiding this comment

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

Thanks.

Let's activate the auto updating of the .pre-commit-config.yaml - I thought we had.

@hauntsaninja hauntsaninja merged commit ad3724b into psf:main Jul 10, 2023
32 of 33 checks passed
@hauntsaninja hauntsaninja deleted the mypy-upgrade branch July 10, 2023 00:04
@JelleZijlstra
Copy link
Collaborator

I enabled pre-commit.ci on this repo, hope that's enough.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@cooperlees cooperlees cooperlees approved these changes

Assignees
No one assigned
Labels
skip news Pull requests that don't need a changelog entry.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@hauntsaninja @JelleZijlstra @cooperlees