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

ci: improve devel publishing conditional 

Signed-off-by: Jakub Sokołowski <jakub@status.im>
This commit is contained in:
Jakub Sokołowski 2024-02-19 13:02:49 +01:00
parent 37339d204f
commit 378518a427
No known key found for this signature in database
GPG Key ID: FE65CD384D5BF7B4
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

@ -49,7 +49,7 @@ pipeline {
} }
stage('Publish Devel') { stage('Publish Devel') {
when { expression { env.GIT_BRANCH ==~ /.*develop/ } } when { expression { env.GIT_BRANCH !=~ /.*master/ } }
steps { steps {
sshagent(credentials: ['jenkins-ssh']) { sshagent(credentials: ['jenkins-ssh']) {
sh """ sh """