feat(build): #1298 use dmypy instead of mypy

- Use dmypy instead of mypy to improve the
performance

Signed-off-by: Robin Quintero <rohaquinlop301@gmail.com>

Author: rohaquinlop

src/args/lint-python/builder.sh

@@ -20,7 +20,8 @@ function main {
     && tmpdir="$(mktemp -d)" \
     && copy "${package_path}" "${tmpdir}/${package_name}" \
     && pushd "${tmpdir}" \
-    && mypy --config-file "${envSettingsMypy}" "${package_name}" \
+    && dmypy start -- --config-file "${envSettingsMypy}" \
+    && dmypy check "${package_name}" \
     && python_dirs=() \
     && current_python_dir="" \
     && find . -name '*.py' > tmp \
@@ -34,9 +35,10 @@ function main {
     done < tmp \
     && for dir in "${python_dirs[@]}"; do
       info Running mypy over: "${package_path}", folder "${dir}" \
-        && mypy --config-file "${envSettingsMypy}" "${dir}" \
+        && dmypy check "${dir}" \
         || return 1
     done \
+    && dmypy stop \
     && popd \
     && info Running prospector over: "${package_path}", package "${package_name}" \
     && if ! test -e "${package_path}/__init__.py"; then