From 988198282e5ef3b8d6872a0d34d61f21fed8e442 Mon Sep 17 00:00:00 2001 From: Michael Hansen Date: Tue, 28 Jun 2022 23:19:01 -0400 Subject: [PATCH] Need to build Debian packages first --- Jenkinsfile | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) 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' - } - } } }