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

Merge pull request #69 from waku-org/jenkins-fix 

fix jenkinsfile
This commit is contained in:
SWB 2023-06-13 19:49:18 +01:00 committed by GitHub
parent aa57d17a71 fc28821b62
commit 6a3ca9237e
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
Jenkinsfile vendored
View File

@ -14,7 +14,7 @@ pipeline {
GIT_COMMITTER_NAME = 'status-im-auto' GIT_COMMITTER_NAME = 'status-im-auto'
GIT_COMMITTER_EMAIL = 'auto@status.im' GIT_COMMITTER_EMAIL = 'auto@status.im'
PROD_SITE = 'docs.waku.org' PROD_SITE = 'docs.waku.org'
DEV_SITE = 'dev.docs.waku.org' DEV_SITE = 'dev-docs.waku.org'
DEV_HOST = 'jenkins@node-01.do-ams3.sites.misc.statusim.net' DEV_HOST = 'jenkins@node-01.do-ams3.sites.misc.statusim.net'
SCP_OPTS = 'StrictHostKeyChecking=no' SCP_OPTS = 'StrictHostKeyChecking=no'
} }