Merge pull request #23006 from bernt-matthias/lint_its

Also lint ITs
2026-09-24 16:30:27 +08:00 · 2026-07-07 16:34:31 +02:00
parent ba8078be2a 8ae2a10b9e
commit 75c30489f4
1 changed files with 1 additions and 1 deletions
@@ -398,7 +398,7 @@ def lint_tool_source_with_modules(lint_context: LintContext, tool_source, linter

    for module in linter_modules:
        module_name = module.__name__.split(".")[-1]
-        lint_tool_types = getattr(module, "lint_tool_types", ["default", "manage_data"])
+        lint_tool_types = getattr(module, "lint_tool_types", ["default", "manage_data", "interactive"])
        if not ("*" in lint_tool_types or tool_type in lint_tool_types):
            continue