ci: do not fail if no style.css file

2022-10-07 11:41:59 +11:00 · 2022-10-07 11:41:59 +11:00 · 742a4245fe
parent bdc6e9cb93
commit 742a4245fe
1 changed files with 1 additions and 1 deletions
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@ -80,5 +80,5 @@ def buildExample(example=STAGE_NAME) {
 def copyExample(example=STAGE_NAME) {
  sh "mkdir -p build/docs/${example}"
  sh "cp ${example}/index.html build/docs/${example}/"
-  sh "[ -f ${example}/style.css ] && cp ${example}/style.css build/docs/${example}/"
+  sh "[ -f ${example}/style.css ] && cp ${example}/style.css build/docs/${example}/ || exit 0"
 }