Skip to content

Conversation

sergej-koscejev
Copy link
Member

No description provided.

Copy link
Member

@danielratiu danielratiu left a comment

Choose a reason for hiding this comment

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

I do not understand why the build fails ... the conversion to Kotlin looks good

thank you!

@sergej-koscejev
Copy link
Member Author

I need to upgrade one of the plugins. Will take care of it on Wednesday.

Copy link
Member

@danielratiu danielratiu left a comment

Choose a reason for hiding this comment

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

lgtm - thank you!

@danielratiu danielratiu merged commit 3218ad8 into maintenance/MPS-2024.1 Sep 18, 2025
1 check passed
@danielratiu danielratiu deleted the new-build branch September 18, 2025 14:28
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