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