fixup! Jenkinsfile: try out more stages, build docs

2019-06-20 23:44:33 +02:00 · 2019-06-20 23:44:33 +02:00 · 63b02eaca3
commit 63b02eaca3
parent 8f2b64ab7a
1 changed files with 1 additions and 1 deletions
--- a/contrib/ci/Jenkinsfile
+++ b/contrib/ci/Jenkinsfile
@ -8,7 +8,7 @@ pipeline {
    stages {
        stage('lint') {
            steps {
-                sh 'luacheck --std=min {packages,scripts,target}'
+                sh 'luacheck package scripts targets'
            }
        }
        stage('docs') {