Skip to content

Update all tools of usegalaxy.cz#134

Open
github-actions[bot] wants to merge 1 commit intomainfrom
create-pull-request/usegalaxy.cz
Open

Update all tools of usegalaxy.cz#134
github-actions[bot] wants to merge 1 commit intomainfrom
create-pull-request/usegalaxy.cz

Conversation

@github-actions
Copy link

I ran the following:

  • make INSTANCE=usegalaxy.cz lint
  • make INSTANCE=usegalaxy.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

Comments