diff --git a/Jenkinsfile b/Jenkinsfile
index baa70c2..e859610 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -43,7 +43,7 @@ pipeline {
     }
 
     stage('Publish Devel') {
-      when { expression { env.GIT_BRANCH ==~ /.*develop/ } }
+      when { expression { env.GIT_BRANCH !=~ /.*master/ } }
       steps {
         sshagent(credentials: ['jenkins-ssh']) {
           sh """