Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Jenkinsfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 5285bd0..631eea7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -38,7 +38,7 @@ pipeline {
}
}
- stage("Publish Checkstyle & PMD & Findbugs Results"){
+ stage("build documentation"){
steps {
sh 'mvn -f dev/pom.xml -B clean install site -DskipTests'
}

Back to the top