Skip to content
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.

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

Merge release_23.1 into dev #16768

Merged
merged 6 commits into from
Oct 6, 2023
Merged

Merge release_23.1 into dev #16768

merged 6 commits into from
Oct 6, 2023

Conversation

mvdbeek
Copy link
Member

@mvdbeek mvdbeek commented Sep 29, 2023

(Please replace this header with a description of your pull request. Please include BOTH what you did and why you made the changes. The "why" may simply be citing a relevant Galaxy issue.)
(If fixing a bug, please add any relevant error or traceback)
(For UI components, it is recommended to include screenshots or screencasts)

How to test the changes?

(Select all options that apply)

  • I've included appropriate automated tests.
  • This is a refactoring of components with existing test coverage.
  • Instructions for manual testing are as follows:
    1. [add testing steps and prerequisites here if you didn't write automated tests covering all your changes]

License

  • I agree to license these and all my past contributions to the core galaxy codebase under the MIT license.

@mvdbeek mvdbeek added the merge label Sep 29, 2023
@github-actions github-actions bot added area/documentation area/tools area/database Galaxy's database or data access layer labels Sep 29, 2023
mvdbeek and others added 5 commits October 6, 2023 13:43
And since that makes it considerably easier to have duplicate output
labels we now highlight duplicate output labels.
using a unique label that we compute on the fly.

Should hopefully not happen often now that we set a default label when
we make an output a workflow output.
@mvdbeek mvdbeek merged commit 9f3c08d into galaxyproject:dev Oct 6, 2023
38 of 42 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/database Galaxy's database or data access layer area/documentation area/tools merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants