Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Our CI failed today because of the release of mypy 1.12.
This PR collects changes to adjust. It also includes a suggested change, namely to activate
local_partial_type = true
since this is planned to become the default with mypy 2.0. However, this setting does not seem to affect this repository too much :)This PR is likely a prerequisite for other PRs as they won't be able to clear the code quality check before being rebased on this one.
How to review
PR checklist
[ ] Add or expand tests; coverage checks both ✅Just adjusting to dependency.[ ] Add, expand, or update documentation.Just adjusting to dependency.[ ] Update release notes.Just adjusting to dependency.