From ce199f46f29d17408eee5772782386282afdfce0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Fri, 2 Jun 2023 14:14:30 +0200
Subject: [PATCH] ci: build css in wip/ branches (#78123)

---
 Jenkinsfile | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

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