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.
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
Use Mypy's strict mode #937
base: main
Are you sure you want to change the base?
Use Mypy's strict mode #937
Changes from all commits
1f3f315
7ee3a90
0072a12
273b76c
7d8beef
b99b21e
447dcc3
a885a6b
586531a
7639367
107e55b
e4449c7
a6f7929
facdc62
7aeb183
8758ed1
42f84b0
1d0bcd9
0d70001
1ce99b7
dd2c058
a2c8e60
fc8af0a
873b6da
2533519
a0874a2
842cbcf
07f44d0
de983de
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing