8000 Warn on module level type ignore with error code by hauntsaninja · Pull Request #13512 · python/mypy · GitHub
[go: up one dir, main page]
8000
Skip to content

Warn on module level type ignore with error code#13512

Merged
hauntsaninja merged 4 commits intopython:masterfrom
hauntsaninja:ignore-err
Aug 26, 2022

Commits

Commits on Aug 25, 2022
0