[releng] Fix Jenkinsfile for master branch (#2672)

eclipse-capella · Jul 3, 2023 · 1f18d6e · 1f18d6e
1 parent 6980cdb
commit 1f18d6e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -66,7 +66,7 @@ pipeline {
 					withCredentials([string(credentialsId: 'sonar-token-capella', variable: 'SONARCLOUD_TOKEN')]) {
 						withEnv(['MAVEN_OPTS=-Xms3000m -Xmx3000m']) {
 							def sign = github.isPullRequest() ? '' : '-Psign'
-							sh "mvn verify ${sign}"
+							sh "mvn verify -Pfull ${sign}"
 						}
 					}
       			}