From 56e946496ff0ee182207e29ea5222982a89969ed Mon Sep 17 00:00:00 2001
From: Ed Merks <ed.merks@gmail.com>
Date: Sat, 20 Jun 2026 09:53:03 +0200
Subject: [PATCH] Releng updates

- Improve the display details in the summary.
- Remove ls -sailR from promotion.
- Update org.eclipse.lemminx to 0.31.2.
---
 Jenkinsfile                            | 7 +++----
 target-platform/target-platform.target | 2 +-
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 62856f86ef..004b45c62f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -91,11 +91,11 @@ spec:
           }
 
           def description = """
-BRANCH_NAME=${env.BRANCH_NAME}
-BUILD_TIMESTAMP=${env.BUILD_TIMESTAMP}
 BUILD_TYPE=${env.BUILD_TYPE}
+PROMOTE=${env.PROMOTE}
+BUILD_TIMESTAMP=${env.BUILD_TIMESTAMP}
 MAVEN_PROFILES=${env.MAVEN_PROFILES}
-WITH_CREDENTIALS=${env.WITH_CREDENTIALS}
+BRANCH_NAME=${env.BRANCH_NAME}
 """.trim()
           echo description
           currentBuild.description = description.replace("\n", "<br/>")
@@ -158,7 +158,6 @@ WITH_CREDENTIALS=${env.WITH_CREDENTIALS}
       steps {
         unstash 'container-stash'
         sshagent (['projects-storage.eclipse.org-bot-ssh']) {
-          sh 'ls -sailR'
           promote();
         }
       }
diff --git a/target-platform/target-platform.target b/target-platform/target-platform.target
index 0a427b33ba..73819a2f41 100644
--- a/target-platform/target-platform.target
+++ b/target-platform/target-platform.target
@@ -59,7 +59,7 @@
 			<dependency>
 				<groupId>org.eclipse.lemminx</groupId>
 				<artifactId>org.eclipse.lemminx</artifactId>
-				<version>0.31.0</version>
+				<version>0.31.2</version>
 				<type>jar</type>
 				<classifier>uber</classifier>
 			</dependency>