From ddbf4d47687c3028c4222b68fd63d297efc36046 Mon Sep 17 00:00:00 2001 From: Tristan Radisson Date: Tue, 1 Aug 2023 14:40:21 +0200 Subject: [PATCH] Correct deploy pipeline (#5422) --- .ci/jenkins/Jenkinsfile.deploy | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.ci/jenkins/Jenkinsfile.deploy b/.ci/jenkins/Jenkinsfile.deploy index 3583b6186df..af6b1602e6f 100644 --- a/.ci/jenkins/Jenkinsfile.deploy +++ b/.ci/jenkins/Jenkinsfile.deploy @@ -276,9 +276,10 @@ MavenCommand getMavenCommand(String directory = '') { def mvnCmd = new MavenCommand(this, ['-fae', '-ntp']) .withSettingsXmlId(env.MAVEN_SETTINGS_CONFIG_FILE_ID) .inDirectory(directory) - .withProperty('full') if (!isStream8()) { // Workaround as enforcer rules may not be fixed on other streams mvnCmd.withProperty('enforcer.skip') + } else { + mvnCmd.withProperty('full') } return mvnCmd }