From 463d0ccdff1232db2d4b5becf23231f64e318741 Mon Sep 17 00:00:00 2001 From: Christian Dietrich Date: Wed, 6 Mar 2024 06:27:45 +0100 Subject: [PATCH] prepare 2024-03 release target Signed-off-by: Christian Dietrich --- Jenkinsfile | 4 +-- xtext-latest.target | 7 +--- xtext-r202403.target | 79 ++++++++++++++++++++++++++++++++++++++++++++ 3 files changed, 82 insertions(+), 8 deletions(-) create mode 100644 xtext-r202403.target diff --git a/Jenkinsfile b/Jenkinsfile index adb4873640b..dd9092408c5 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -6,7 +6,7 @@ pipeline { } parameters { - choice(name: 'TARGET_PLATFORM', choices: ['r202203', 'r202206', 'r202209', 'r202212', 'r202303', 'r202306', 'r202309', 'r202312', 'latest'], description: 'Which Target Platform should be used?') + choice(name: 'TARGET_PLATFORM', choices: ['r202203', 'r202206', 'r202209', 'r202212', 'r202303', 'r202306', 'r202309', 'r202312', 'r202403', '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.31" + return "4.32" } else { def baseDate = java.time.LocalDate.parse("2018-06-01") // 4.8 Photon def df = java.time.format.DateTimeFormatter.ofPattern("yyyyMMdd") diff --git a/xtext-latest.target b/xtext-latest.target index 6655860ae51..3a77cba6970 100644 --- a/xtext-latest.target +++ b/xtext-latest.target @@ -26,17 +26,12 @@ - + - - - - - diff --git a/xtext-r202403.target b/xtext-r202403.target new file mode 100644 index 00000000000..ceeba5486ea --- /dev/null +++ b/xtext-r202403.target @@ -0,0 +1,79 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +