diff --git a/Jenkinsfile b/Jenkinsfile
index 636bff5..dda55c3 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -137,6 +137,13 @@ pipeline {
             }
         }
 
+        // Build and publish Debian packages to Github
+        stage('Debian') {
+            steps {
+                sh 'make debian'
+            }
+        }
+
         // Create a new tagged Github release with source distribution and Debian packages
         stage('Publish mimic3') {
             environment {
@@ -197,11 +204,5 @@ pipeline {
             }
         }
 
-        // Build and publish Debian packages to Github
-        stage('Debian') {
-            steps {
-                sh 'make debian'
-            }
-        }
     }
 }