Skip to content

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

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

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

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions bot commented Apr 1, 2026

I ran the following:

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

@github-actions github-actions bot requested a review from martenson April 1, 2026 08:20
@martenson martenson merged commit e59300f into main Apr 1, 2026
@martenson martenson mentioned this pull request Apr 1, 2026
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