Skip to content
New issue

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

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

Already on GitHub? # to your account

Delete unused docker file #500 #501

Merged
merged 2 commits into from
Apr 2, 2024

Conversation

FlorianK13
Copy link
Member

Workflow checklist

Automation

Closes #500

PR-Assignee

Reviewer

  • 🐙 Follow the Reviewer Guidelines
  • 🐙 Provided feedback and show sufficient appreciation for the work done

@FlorianK13 FlorianK13 marked this pull request as ready for review April 2, 2024 13:20
@FlorianK13 FlorianK13 requested a review from chrwm April 2, 2024 13:22
@FlorianK13 FlorianK13 merged commit 6113ad3 into develop Apr 2, 2024
0 of 6 checks passed
@FlorianK13 FlorianK13 deleted the bugfix-500-remove-unused-dockerfile branch April 2, 2024 13:32
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants