Skip to content

Update all tools of galaxy-umsa.grid.cesnet.cz#138

Merged
martenson merged 1 commit intomainfrom
create-pull-request/galaxy-umsa.grid.cesnet.cz
Feb 25, 2026
Merged

Update all tools of galaxy-umsa.grid.cesnet.cz#138
martenson merged 1 commit intomainfrom
create-pull-request/galaxy-umsa.grid.cesnet.cz

Conversation

@github-actions
Copy link
Contributor

I ran the following:

  • make INSTANCE=galaxy-umsa.grid.cesnet.cz lint
  • make INSTANCE=galaxy-umsa.grid.cesnet.cz update-all

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant