search

galaxyproject / tools-devteam

Contains a set of Galaxy Tools mostly written by the Galaxy Team.
37 stars 92 forks source link

sync github actions workflows with current IUC state #575

Closed bernt-matthias closed 3 years ago

bernt-matthias commented 3 years ago

also add badges

mvdbeek commented 3 years ago

Thanks @bernt-matthias !