Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 07b6ef7..921a2b7 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