diff --git a/Jenkinsfile b/Jenkinsfile index dfb51274..0f8c1320 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -4,11 +4,14 @@ pipeline { agent any options { disableConcurrentBuilds() } stages { - stage('Help Check') { + stage('Checks') { steps { script { - sh '(cd help/fr/ && if [ $(yelp-build html *.page 2>&1 | wc -c) -ne 0 ]; then exit 1; fi)' - sh 'git clean -xdf' + if (env.GIT_BRANCH.startsWith('wip/')) { + sh 'make css' + } + sh '(cd help/fr/ && if [ $(yelp-build html *.page 2>&1 | wc -c) -ne 0 ]; then exit 1; fi)' + sh 'git clean -xdf' } } }