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.

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

Upgraded to mypy 1.5.1 #264

Merged
merged 1 commit into from
Sep 14, 2023
Merged

Upgraded to mypy 1.5.1 #264

merged 1 commit into from
Sep 14, 2023

Conversation

mristin
Copy link
Collaborator

@mristin mristin commented Sep 14, 2023

We upgraded to mypy 1.5.1 (current latest version) and removed a couple of unnecessary casts that mypy now does not need anymore.

Since mypy dropped support for Python 3.7, we exclude the check in the pre-commit script for Python versions below 3.8.

We upgraded to mypy 1.5.1 (current latest version) and removed a couple
of unnecessary casts that mypy now does not need anymore.

Since mypy dropped support for Python 3.7, we exclude the check in the
pre-commit script for Python versions below 3.8.
@mristin mristin force-pushed the mristin/Upgrade-mypy-to-1.5.1 branch from 8f90547 to 5c3c772 Compare September 14, 2023 09:08
@coveralls
Copy link

Coverage Status

coverage: 92.656%. remained the same when pulling 5c3c772 on mristin/Upgrade-mypy-to-1.5.1 into 1883ed0 on master.

@mristin mristin merged commit 44d5596 into master Sep 14, 2023
11 checks passed
@mristin mristin deleted the mristin/Upgrade-mypy-to-1.5.1 branch September 14, 2023 09:12
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