Skip to content

add --skip to shed_lint#1394

Merged
mvdbeek merged 1 commit intogalaxyproject:masterfrom
bernt-matthias:topic/shed_lint_skip
Oct 18, 2023
Merged

add --skip to shed_lint#1394
mvdbeek merged 1 commit intogalaxyproject:masterfrom
bernt-matthias:topic/shed_lint_skip

Conversation

@bernt-matthias
Copy link
Collaborator

@mvdbeek mvdbeek merged commit a6768bc into galaxyproject:master Oct 18, 2023
@bernt-matthias bernt-matthias deleted the topic/shed_lint_skip branch October 23, 2023 11:01
bernt-matthias added a commit to bernt-matthias/planemo that referenced this pull request Oct 23, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Check for missing containers failing, no planemo shed_lint -s option

3 participants