Lines Matching refs:mypy

25   "lint.mypy",
53     module = "mypy"
66     # Use this environment variable to force mypy to colorize output.
67     # See https://github.com/python/mypy/issues/7771
76       deps += [ string_replace(dep, "(", ".lint.mypy(") ]
122 #     - $name.lint.mypy - Runs mypy (if enabled).
145 #       all tools. The supported tools are "mypy" and "pylint".
150 #   mypy_ini: Optional path to a mypy configuration file to use. If not
151 #       provided, mypy's default configuration file search is used. mypy is
152 #       executed from the package's setup directory, so mypy.ini files in that
227     "mypy",
531     # For packages that are not generated, create targets to run mypy and pylint.
534       # config files (e.g. pylintrc or mypy.ini) in that directory. Config files