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