Merge pull request #1716 from JetBrains/merge/master

mps-ci-buildbot · web-flow · commit b7193152db37 · 2026-01-16T05:57:07.000+01:00
Merge maintenance/mps20251 into master
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -19,7 +19,7 @@ plugins {
     id("de.itemis.mps.gradle.launcher") version "2.8.0.+"
     id("org.cyclonedx.bom") version "3.1.0"
 
-    id("com.specificlanguages.mps") version "2.0.0"
+    id("com.specificlanguages.mps") version "2.0.1"
 }
 
 // Detect if we are in a CI build

Original file line number	Diff line number	Diff line change
`@@ -19,7 +19,7 @@ plugins {`
`19`	`19`	`id("de.itemis.mps.gradle.launcher") version "2.8.0.+"`
`20`	`20`	`id("org.cyclonedx.bom") version "3.1.0"`
`21`	`21`
`22`		`- id("com.specificlanguages.mps") version "2.0.0"`
	`22`	`+ id("com.specificlanguages.mps") version "2.0.1"`
`23`	`23`	`}`
`24`	`24`
`25`	`25`	`// Detect if we are in a CI build`