diff --git a/Jenkinsfile b/Jenkinsfile
index e0bab1914ef..c9433b787e3 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -6,7 +6,7 @@ pipeline {
}
parameters {
- choice(name: 'TARGET_PLATFORM', choices: ['r202203', 'r202206', 'r202209', 'r202212', 'r202303', 'r202306', 'r202309', 'latest'], description: 'Which Target Platform should be used?')
+ choice(name: 'TARGET_PLATFORM', choices: ['r202203', 'r202206', 'r202209', 'r202212', 'r202303', 'r202306', 'r202309', 'r202312', 'latest'], description: 'Which Target Platform should be used?')
// see https://wiki.eclipse.org/Jenkins#JDK
choice(name: 'JDK_VERSION', choices: [ '11', '17' ], description: 'Which JDK version should be used?')
}
@@ -149,7 +149,7 @@ def isTriggeredByUpstream() {
def eclipseVersion() {
def targetPlatform = selectedTargetPlatform()
if (targetPlatform == 'latest') {
- return "4.30"
+ return "4.31"
} else {
def baseDate = java.time.LocalDate.parse("2018-06-01") // 4.8 Photon
def df = java.time.format.DateTimeFormatter.ofPattern("yyyyMMdd")
diff --git a/releng/org.eclipse.xtext.contributor/Xtext.setup b/releng/org.eclipse.xtext.contributor/Xtext.setup
index 0d2fbe24768..560602fe1b4 100644
--- a/releng/org.eclipse.xtext.contributor/Xtext.setup
+++ b/releng/org.eclipse.xtext.contributor/Xtext.setup
@@ -506,6 +506,11 @@
filter="(eclipse.target.platform=2023-12)">
xtext-latest
+
+ xtext-r202312
+
diff --git a/xtext-r202312.target b/xtext-r202312.target
new file mode 100644
index 00000000000..ab7543d1f92
--- /dev/null
+++ b/xtext-r202312.target
@@ -0,0 +1,83 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+