From f5fdfe0a8192581b19275c260f9f007a7ca2952d Mon Sep 17 00:00:00 2001 From: Christian Dietrich Date: Mon, 2 Dec 2024 19:55:32 +0100 Subject: [PATCH] switch to 4.35 I-Builds Signed-off-by: Christian Dietrich --- Jenkinsfile | 2 +- xtext-latest.target | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 09a85bcc982..2103caff632 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -152,7 +152,7 @@ def isTriggeredByUpstream() { def eclipseVersion() { def targetPlatform = selectedTargetPlatform() if (targetPlatform == 'latest') { - return "4.34" + return "4.35" } 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 f6609257987..ee201deffdb 100644 --- a/xtext-latest.target +++ b/xtext-latest.target @@ -26,7 +26,7 @@ - +