ci: build css in wip/ branches (#78123) #300

Merged
fpeters merged 1 commits from wip/78123-ci-build into main 2023-06-12 09:37:58 +02:00
1 changed files with 6 additions and 3 deletions

9
Jenkinsfile vendored
View File

@ -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'
}
}
}