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

Fix/deployment #886

Merged
merged 3 commits into from
May 8, 2024
Merged

Fix/deployment #886

merged 3 commits into from
May 8, 2024

Conversation

andre-merzky
Copy link
Member

sync with RU

Copy link
Collaborator

@mtitov mtitov left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@andre-merzky andre-merzky merged commit f51d3c1 into devel May 8, 2024
2 checks passed
@andre-merzky andre-merzky deleted the fix/deployment branch May 8, 2024 08:20
@andre-merzky andre-merzky restored the fix/deployment branch May 8, 2024 09:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants