Need to build Debian packages first

synesthesiam · synesthesiam · commit 988198282e5e · 2022-06-28T23:19:01.000-04:00
diff --git 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'
-            }
-        }
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -137,6 +137,13 @@ pipeline {`
`137`	`137`	`}`
`138`	`138`	`}`
`139`	`139`
	`140`	`+ // Build and publish Debian packages to Github`
	`141`	`+ stage('Debian') {`
	`142`	`+ steps {`
	`143`	`+ sh 'make debian'`
	`144`	`+ }`
	`145`	`+ }`
	`146`	`+`
`140`	`147`	`// Create a new tagged Github release with source distribution and Debian packages`
`141`	`148`	`stage('Publish mimic3') {`
`142`	`149`	`environment {`
`@@ -197,11 +204,5 @@ pipeline {`
`197`	`204`	`}`
`198`	`205`	`}`
`199`	`206`
`200`		`- // Build and publish Debian packages to Github`
`201`		`- stage('Debian') {`
`202`		`- steps {`
`203`		`- sh 'make debian'`
`204`		`- }`
`205`		`- }`
`206`	`207`	`}`
`207`	`208`	`}`