Jenkinsfile: manually checkout to subdir

runtimeverification · Jul 18, 2019 · 514f710 · 514f710
1 parent eec256c
commit 514f710
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -135,15 +135,20 @@ pipeline {
     //  }
     //}
     stage('Deploy') {
+      agent { label 'docker' }
       // when {
       //   not { changeRequest() }
       //   branch 'master'
       //   beforeAgent true
       // }
       environment {
         GITHUB_TOKEN = credentials('rv-jenkins')
+        RELEASE_ID   = '1.0.0b1'
       }
       stages {
+        stage('Checkout SCM') {
+          steps { checkout scm }
+        }
         stage('Build Ubuntu Package') {
           agent {
             dockerfile {
@@ -153,7 +158,8 @@ pipeline {
             }
           }
           steps {
-            dir("kevm-0.0.1") {
+            dir("${env.RELEASE_ID}") {
+              checkout scm
               sh '''
                 cp -r package/debian ./
                 dpkg-buildpackage --no-sign
@@ -168,6 +174,7 @@ pipeline {
             dockerfile {
               dir 'package'
               filename 'Dockerfile.arch'
+              reuseNode true
             }
           }
           steps {
@@ -187,6 +194,7 @@ pipeline {
             dockerfile {
               dir 'package'
               filename 'Dockerfile.arch'
+              reuseNode true
             }
           }
           steps {