diff options
Diffstat (limited to 'debian/patches/0001-add-mypy.ini-for-older-mypy-versions-that-don-t-supp.patch')
| -rw-r--r-- | debian/patches/0001-add-mypy.ini-for-older-mypy-versions-that-don-t-supp.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/debian/patches/0001-add-mypy.ini-for-older-mypy-versions-that-don-t-supp.patch b/debian/patches/0001-add-mypy.ini-for-older-mypy-versions-that-don-t-supp.patch new file mode 100644 index 0000000..ef9ea28 --- /dev/null +++ b/debian/patches/0001-add-mypy.ini-for-older-mypy-versions-that-don-t-supp.patch @@ -0,0 +1,22 @@ +From: Wojtek Kosior <koszko@koszko.org> +Date: Fri, 8 Jul 2022 19:08:15 +0200 +Subject: add mypy.ini for older mypy versions that don't support + pyproject.toml + +--- + mypy.ini | 6 ++++++ + 1 file changed, 6 insertions(+) + create mode 100644 mypy.ini + +diff --git a/mypy.ini b/mypy.ini +new file mode 100644 +index 0000000..1cd3b58 +--- /dev/null ++++ b/mypy.ini +@@ -0,0 +1,6 @@ ++[mypy] ++incremental = true ++strict = true ++ ++[mypy-immutables.map,immutables._testutils] ++ignore_errors = true |