add mash dist tool to main #1103

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

mvdbeek merged 1 commit into galaxyproject:master from Delphine-L:mashdist

Sep 19, 2025

Contributor

Delphine-L commented Sep 16, 2025 •

edited

Loading

TODO: Please replace this header with a description of your pull request.

Installation sequence for `tool-installers`

Test using @galaxybot test this
Inspect CI output for expected changes
Deploy using @galaxybot deploy this if test install was successful
Merge this PR


          add mash dist tool

736d2f6

Delphine-L requested a review from a team as a code owner

September 16, 2025 14:27

Contributor Author

Delphine-L commented Sep 16, 2025

@galaxybot test this

Contributor Author

Delphine-L commented Sep 16, 2025

@galaxybot deploy this

mvdbeek merged commit 52681e1 into galaxyproject:master

1 check passed

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

Labels

None yet