Skip to content

Conversation

@github-actions
Copy link
Contributor

Merge changes from maintenance/mps20251 to master.

arimer
arimer previously approved these changes Oct 23, 2025
Copy link
Member

@arimer arimer left a comment

Choose a reason for hiding this comment

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

Cascading merge

mhuster23 and others added 14 commits October 27, 2025 10:02
…concatenation

add split intention for StringLiteral
# Conflicts:
#	CHANGELOG.md
#	build/scripts/build-allScripts.xml
#	code/languages/org.iets3.opensource/languages/org.iets3.core.expr.data/org.iets3.core.expr.data.mpl
#	code/languages/org.iets3.opensource/languages/org.iets3.core.expr.util/org.iets3.core.expr.util.mpl
#	code/languages/org.iets3.opensource/tests/test.ts.expr.os/test.ts.expr.os.msd
Merge maintenance/mps20232 into maintenance/mps20241
Merge maintenance/mps20241 into maintenance/mps20251
No background color was set and they had the color of the parent node.

Fixes #1392
Explicitly specifying the type of the takari-cpsuite dependency makes
it unnecessary to override its jar name.
…s_in_generator

fix NumberLiteral editor breaking in generator
@arimer
Copy link
Member

arimer commented Dec 10, 2025

It looks like this PR: #1490 needs to be merged first to align with the correct MPS version, which is also for creating the required platform artifacts (mps-extensions, mbeddr.core).

Curret master is still on 252 and is consuming artifacts produced with 253.

Master is fixed now. We are building with 253 aka 2026.1.

Merge maintenance/mps20241 into maintenance/mps20251
@arimer
Copy link
Member

arimer commented Dec 10, 2025

I don't think this PR will work out automatically. Manually create a fresh PR from 2025.1 -> master needs to be done. @mhuster23 might you have the time to give it a try?

@arimer
Copy link
Member

arimer commented Dec 11, 2025

HOLY MOLY! 🥳 It's green! Thx @mhuster23

Copy link
Member

@arimer arimer left a comment

Choose a reason for hiding this comment

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

Cascading merge 😌

@arimer arimer merged commit 264187f into master Dec 11, 2025
2 checks passed
@arimer arimer deleted the merge/mps20251 branch December 11, 2025 14:15
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.

9 participants