Skip to content

Conversation

@bernt-matthias
Copy link
Contributor

FOR CONTRIBUTOR:

  • I have read the CONTRIBUTING.md document and this tool is appropriate for the tools-iuc repo.
  • License permits unrestricted use (educational + commercial)
  • This PR adds a new tool or tool collection
  • This PR updates an existing tool or tool collection
  • This PR does something else (explain below)

otherwise there might be situations where the fallback workflow
runs first (which may happen despite the concurrency group settings)
and allows merging until the main workflow finished
@bernt-matthias
Copy link
Contributor Author

Lets see if this works.

@bernt-matthias bernt-matthias merged commit f48139f into galaxyproject:main Feb 10, 2026
11 checks passed
@bernt-matthias bernt-matthias deleted the fallback-paths branch February 10, 2026 14:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants