diff --git a/Jenkinsfile b/Jenkinsfile index f52bd5cf36..5c27440267 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,17 +1,6 @@ pipeline { agent none stages { - stage('Quality Checks') { - agent { - docker { - image 'px4io/px4-dev-base:2017-10-23' - args '-e CI=true' - } - } - steps { - sh 'make check_format' - } - } stage('Build') { steps { @@ -215,6 +204,18 @@ pipeline { stage('Test') { parallel { + stage('check style') { + agent { + docker { + image 'px4io/px4-dev-base:2017-10-23' + args '-e CI=true' + } + } + steps { + sh 'make check_format' + } + } + stage('clang tidy') { agent { docker {