Skip to content

Conversation

manuelmeister
Copy link
Member

@manuelmeister manuelmeister commented Sep 29, 2024

Fixes some bugs in #6018

@manuelmeister manuelmeister marked this pull request as ready for review September 29, 2024 11:53
@BacLuc BacLuc added the deploy! Creates a feature branch deployment for this PR label Sep 29, 2024
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 b267dc7 Sep 29, 2024
30 checks passed
@manuelmeister manuelmeister deleted the feature/ui-checklists-improvement branch September 29, 2024 12:23
@manuelmeister manuelmeister restored the feature/ui-checklists-improvement branch September 29, 2024 12:27
@manuelmeister manuelmeister deleted the feature/ui-checklists-improvement branch September 29, 2024 12:27
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