diff options
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index b6f0c009b..ecbc9f935 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -31,7 +31,11 @@ pipeline { withMaven(maven: buildMvn, jdk: buildJdk, mavenSettingsConfig: deploySettings, mavenLocalRepo: ".repository", - publisherStrategy:'EXPLICIT' + options: [concordionPublisher(disabled: true), dependenciesFingerprintPublisher(disabled: true), + findbugsPublisher(disabled: true), artifactsPublisher(disabled: true), + invokerPublisher(disabled: true), jgivenPublisher(disabled: true), + junitPublisher(disabled: true, ignoreAttachments: false), + openTasksPublisher(disabled: true), pipelineGraphPublisher(disabled: true)] ) { sh "chmod 755 ./src/ci/scripts/prepareWorkspace.sh" |