Need to build Debian packages first

2022-06-28 23:19:01 -04:00 · 2022-06-28 23:19:01 -04:00 · 988198282e
commit 988198282e
parent 17e0112298
1 changed files with 7 additions and 6 deletions
--- a/13
+++ b/13
@ -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'
-            }
-        }
    }
 }