diff options
| -rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 9283a3401..2b2f974d9 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -46,7 +46,7 @@ pipeline { steps { timeout(120) { withMaven(maven: buildMvn, jdk: buildJdk, - mavenSettingsConfig: deploySettings, + mavenLocalRepo: ".repository", options: [concordionPublisher(disabled: true), dependenciesFingerprintPublisher(disabled: true), findbugsPublisher(disabled: true), artifactsPublisher(disabled: true), |