Skip to content

Conversation

@manuelmeister
Copy link
Member

No description provided.

@manuelmeister manuelmeister added the deploy! Creates a feature branch deployment for this PR label Sep 29, 2024
@github-actions
Copy link

github-actions bot commented Sep 29, 2024

Feature branch deployment currently inactive.

If the PR is still open, you can add the deploy! label to this PR to trigger a feature branch deployment.

@pmattmann pmattmann added this pull request to the merge queue Sep 29, 2024
Merged via the queue into ecamp:devel with commit 3938401 Sep 29, 2024
37 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

deploy! Creates a feature branch deployment for this PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants