Skip to content

Merge maintenance/mps20232 into maintenance/mps20241 #2931

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

Merged
merged 25 commits into from
May 19, 2025

Conversation

mps-ci-buildbot
Copy link
Contributor

Merge changes from maintenance/mps20232 to maintenance/mps20241.

Alexander Pann and others added 8 commits May 6, 2025 11:30
backport actions to background thread (BGT)
…ith it

If we do not do this outside of the EDT thread, the class will complain because it can't be initialized on this thread.
Another similar issue in MPS: https://youtrack.jetbrains.com/issue/MPS-33812/Assertion-failed
This exception is very unlikely to happen anyway because MPS probably also needs to initialize this class somewhere.
# Conflicts:
#	code/languages/com.mbeddr.doc/languages/com.mbeddr.doc/doc.mpl
#	code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.graphstream/runtime/com.mbeddr.mpsutil.graphstream.runtime.msd
#	code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.plantuml/solutions/pluginSolution/models/com/mbeddr/mpsutil/plantuml/pluginSolution/plugin.mps
#	code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.plantuml/solutions/pluginSolution/pluginSolution.msd
#	code/languages/com.mbeddr.platform.build/solutions/com.mbeddr.platform/models/com/mbeddr/platform/build.mps
#	subprojects/com.mbeddr/platform/build.gradle
@arimer
Copy link
Member

arimer commented May 12, 2025

merge conflicts are resolved by taking just changes from 20241 and dropping all others, because those changes do already exist on maintenance/20241.

@arimer arimer requested review from wsafonov and slisson May 12, 2025 09:02
@arimer arimer requested a review from wsafonov May 13, 2025 13:28
@arimer arimer disabled auto-merge May 13, 2025 13:49
@arimer arimer enabled auto-merge May 13, 2025 13:49
arimer added 2 commits May 19, 2025 10:36
# Conflicts:
#	CHANGELOG.md
#	code/languages/com.mbeddr.mpsutil/.mps/modules.xml
#	code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.process.sandbox/models/com/mbeddr/mpsutil/process/sandbox/plugin.mps
#	code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.wizard.sandbox/models/com.mbeddr.mpsutil.wizard.sandbox.plugin.mps
#	code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.wizard.sandbox/models/com/mbeddr/mpsutil/process/sandbox/plugin.mps
@arimer
Copy link
Member

arimer commented May 19, 2025

Aligned with target branch. @wsafonov please have a second look

@arimer arimer merged commit 2623d8a into maintenance/mps20241 May 19, 2025
1 check passed
@arimer arimer deleted the merge/mps20241 branch May 19, 2025 09:45
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.

4 participants