Merge pull request #131 from waku-org/fix/ci

2022-10-07 11:46:08 +11:00 · 2022-10-07 11:46:08 +11:00 · 8829ba87b4
parent bdc6e9cb93 742a4245fe
commit 8829ba87b4
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"
 }