diff options
author | David Robertson <davidr@element.io> | 2022-12-12 21:25:07 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-12 21:25:07 +0000 |
commit | 3d87847ecc943c689c4587c5327d744e4a8f92c2 (patch) | |
tree | 376b5e4eecb94e0fe75272cf78be7235f307d54a /pylint.cfg | |
parent | Fix missing cache invalidation in application service code (#14670) (diff) | |
download | synapse-3d87847ecc943c689c4587c5327d744e4a8f92c2.tar.xz |
Enable `--warn-redundant-casts` option in mypy (#14671)
* Enable `--warn-redundant-casts` option in mypy Doesn't do much but helps me sleep better at night. * Changelog * Fix name of the ignore * Fix one more missed cast Not sure why I didn't see this one locally, maybe I needed a poetry update * Remove old comment Co-authored-by: Patrick Cloke <clokep@users.noreply.github.com> Co-authored-by: Patrick Cloke <clokep@users.noreply.github.com>
Diffstat (limited to 'pylint.cfg')
0 files changed, 0 insertions, 0 deletions