Skip to content
New issue

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

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

Already on GitHub? # to your account

mypy warn-unused-ignore #180

Merged
merged 3 commits into from
Sep 25, 2023
Merged

mypy warn-unused-ignore #180

merged 3 commits into from
Sep 25, 2023

Conversation

cqc-melf
Copy link
Collaborator

@cqc-melf cqc-melf commented Sep 25, 2023

add warn for unused ignores flag, remove unused ignores, general clean-up

@cqc-melf cqc-melf marked this pull request as ready for review September 25, 2023 09:58
@cqc-melf cqc-melf requested a review from cqc-alec September 25, 2023 09:58
@cqc-melf cqc-melf merged commit 02d811b into develop Sep 25, 2023
@cqc-melf cqc-melf deleted the fix/mypy-warn-unused-ignores branch March 26, 2024 14:46
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants