ci: push non-master branches to dev stage

Signed-off-by: Jakub Sokołowski <jakub@status.im>
This commit is contained in:
Jakub Sokołowski 2023-06-05 14:34:36 +02:00
parent d1a2607a11
commit 5d8c6404f5
No known key found for this signature in database
GPG Key ID: FE65CD384D5BF7B4
1 changed files with 1 additions and 1 deletions

2
Jenkinsfile vendored
View File

@ -43,7 +43,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 """