Jenkinsfile: try out more stages, build docs

2019-06-20 12:56:19 +02:00 · 2019-06-20 12:56:19 +02:00 · c0884c9c21
commit c0884c9c21
parent 4eec11ba36
1 changed files with 10 additions and 2 deletions
--- a/contrib/ci/Jenkinsfile
+++ b/contrib/ci/Jenkinsfile
@ -6,10 +6,18 @@ pipeline {
        BUILD_LOG = "1"
    }
    stages {
+        stage('lint') {
+            steps {
+                sh 'luacheck --std=min {packages,scripts,target}'
+            }
+        }
+        stage('docs') {
+            steps {
+                sh' make -C docs html'
+            }
+        }
        stage('build') {
            steps {
-                sh 'ls -la'
-                sh 'luacheck --std=min .'
                sh 'make update'
                sh 'make download'
                sh 'make -j$(nproc)'