mirror of
https://github.com/logos-messaging/examples.waku.org.git
synced 2026-05-20 16:19:43 +00:00
Merge pull request #234 from waku-org/ci/copy-index.html
This commit is contained in:
commit
383ea2180c
1
ci/Jenkinsfile
vendored
1
ci/Jenkinsfile
vendored
@ -29,6 +29,7 @@ pipeline {
|
|||||||
sh 'npm install --silent'
|
sh 'npm install --silent'
|
||||||
/* TODO: Build the main page. */
|
/* TODO: Build the main page. */
|
||||||
sh 'mkdir -p build/docs'
|
sh 'mkdir -p build/docs'
|
||||||
|
sh 'cp index.html build/docs/'
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user