Merge pull request #1396 from bernt-matthias/topic/shed_lint_skip_fix

really skip specified linters
galaxyproject · Oct 23, 2023 · 913bf29 · 913bf29
2 parents e7625b6 + d93bd9c
commit 913bf29
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/planemo/lint.py b/planemo/lint.py
@@ -33,7 +33,7 @@ def build_lint_args(ctx, **kwds):
 def setup_lint(ctx, **kwds):
     """Prepare lint_args and lint_ctx to begin linting a target."""
     lint_args = kwds.get("lint_args", None) or build_lint_args(ctx, **kwds)
-    lint_ctx = LintContext(lint_args["level"])
+    lint_ctx = LintContext(level=lint_args["level"], skip_types=lint_args["skip_types"])
     return lint_args, lint_ctx