diff options
author | Marc Mueller <30130371+cdce8p@users.noreply.github.com> | 2021-08-14 12:46:19 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-14 12:46:19 +0200 |
commit | 09ffc07fcb9ac2ac99d56b1d2c818ce93e509426 (patch) | |
tree | 00ba0e45ca788c9dd6d87f6833704ce4c8d602c6 /pylintrc | |
parent | 37f2f2b51c32537ccabbd2460999e539d50e49f1 (diff) | |
download | pylint-git-09ffc07fcb9ac2ac99d56b1d2c818ce93e509426.tar.gz |
Add pylintrc config for typing extension (#4843)
Diffstat (limited to 'pylintrc')
-rw-r--r-- | pylintrc | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -381,6 +381,15 @@ int-import-graph= overgeneral-exceptions=Exception +[TYPING] + +# Minimum supported python version (used for typing only!) +py-version = 3.6 + +# Annotations are used exclusively for type checking +runtime-typing = no + + [pylint.DEPRECATED_BUILTINS] # List of builtins function names that should not be used, separated by a comma |