diff --git a/contrib/ci/Jenkinsfile b/contrib/ci/Jenkinsfile index 4ab6300db9f1419e98f884e52c3c7efc7601fc02..87a89bef2a06382a7b6442d226e13a8eaedd30af 100644 --- a/contrib/ci/Jenkinsfile +++ b/contrib/ci/Jenkinsfile @@ -1,3 +1,20 @@ +def lualint() { + make lint-lua +} + +def shelllint() { + make lint-sh +} + +run_lint_set = [ + "task1": { + lualint() + }, + "task2": { + shelllint() + } +] + pipeline { agent { label 'gluon-docker' } environment { @@ -8,7 +25,9 @@ pipeline { stages { stage('lint') { steps { - sh 'luacheck package scripts targets' + script { + parallel(run_lint_set) + } } } stage('docs') {