commit 90f8a5ade2b091b3973406f3188856c24da31dce
author Adrien Béraud <adrien.beraud@savoirfairelinux.com> Tue Sep 19 14:58:20 2023 -0400
committer Adrien Béraud <adrien.beraud@savoirfairelinux.com> Tue Sep 19 15:03:42 2023 -0400
tree 2aa3f938068d67d30759b7cfce774a687966107d
parent 1299a0d34b15e3dbba2fc0637d04f79a2bc986b4

Jenkins: use Docker

Change-Id: Id7acbd8e217fc55668c8d1943f0464308fce62bc

Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
index aac02ad..6a41bc1 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -4,7 +4,10 @@
     stages {
         stage('Build') {
             steps {
-                sh 'mkdir build && cd build && cmake .. && make'
+                script {
+                    docker.build("dhtnet:${env.BUILD_ID}", "--target build .")
+                    sh "docker run -t --rm dhtnet:${env.BUILD_ID}"
+                }
             }
         }
     }