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", "
")
@@ -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 @@
org.eclipse.lemminx
org.eclipse.lemminx
- 0.31.0
+ 0.31.2
jar
uber