From b0876f3382b4f65fa60d3768ce4245f9e3324b30 Mon Sep 17 00:00:00 2001 From: deadc0de6 Date: Fri, 5 Jan 2024 20:18:22 +0100 Subject: [PATCH] add mypy.ini --- .mypy.ini | 3 +++ tests.sh | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) create mode 100644 .mypy.ini diff --git a/.mypy.ini b/.mypy.ini new file mode 100644 index 0000000..424e71f --- /dev/null +++ b/.mypy.ini @@ -0,0 +1,3 @@ +[mypy] +strict = true +disable_error_code = import-untyped \ No newline at end of file diff --git a/tests.sh b/tests.sh index f5e5b48..c74939c 100755 --- a/tests.sh +++ b/tests.sh @@ -60,7 +60,7 @@ pylint -sn setup.py # mypy echo "[+] mypy" mypy --version -mypy --strict --disable-error-code=import-untyped catcli/ +mypy --config-file=.mypy.ini catcli/ set +e grep -R 'TODO' catcli/ && echo "TODO found" && exit 1