diff --git a/Jenkinsfile b/Jenkinsfile index 667c125..f63c7db 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -2,7 +2,27 @@ pipeline { agent any + options { + disableConcurrentBuilds() + timeout(time: 20, unit: 'MINUTES') + } stages { + stage('Unit Tests') { + steps { + sh 'tox -rv' + } + post { + always { + script { + utils = new Utils() + utils.publish_coverage('coverage.xml') + utils.publish_coverage_native('index.html') + utils.publish_pylint('pylint.out') + } + mergeJunitResults() + } + } + } stage('Packaging') { steps { script {