waku-org
/
examples.waku.org
mirror of https://github.com/waku-org/examples.waku.org.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #178 from waku-org/weboko/fix-ci 

Fix Jenkins CI
This commit is contained in:
Sasha 2023-01-11 20:26:17 +01:00 committed by GitHub
parent 266916be74 4011baf6cf
commit 53fcfb53ff
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ci/Jenkinsfile vendored
View File

@ -79,5 +79,5 @@ def buildExample(example=STAGE_NAME) {
def copyExample(example=STAGE_NAME) {
sh "mkdir -p build/docs/${example}"
sh "cp examples/${example}/*.(js|css|html) build/docs/${example}/"
sh "cp examples/${example}/*.{js|css|html} build/docs/${example}/"
}