ci: build css in wip/ branches (#78123)
gitea/publik-base-theme/pipeline/head This commit looks good Details

This commit is contained in:
Frédéric Péters 2023-06-02 14:14:30 +02:00
parent e3e5b5990f
commit ce199f46f2
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'
}
}
}