From 8ae2a10b9e7d61143ba1987edfd9712892703728 Mon Sep 17 00:00:00 2001 From: Matthias Bernt Date: Thu, 25 Jun 2026 12:12:56 +0200 Subject: [PATCH] also lint ITs --- lib/galaxy/tool_util/lint.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/galaxy/tool_util/lint.py b/lib/galaxy/tool_util/lint.py index 5a2097962e6..2ef1472d0d3 100644 --- a/lib/galaxy/tool_util/lint.py +++ b/lib/galaxy/tool_util/lint.py @@ -402,7 +402,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