From e101d4e403b2d31c8802e7fffb790cfd42e5dba0 Mon Sep 17 00:00:00 2001 From: Andy Pack Date: Thu, 1 Feb 2024 22:06:00 +0000 Subject: [PATCH] using docker image for building --- .jenkins/jenkinsfile | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/.jenkins/jenkinsfile b/.jenkins/jenkinsfile index e2cb718..d0871c8 100644 --- a/.jenkins/jenkinsfile +++ b/.jenkins/jenkinsfile @@ -3,12 +3,22 @@ pipeline { stages { stage('Build') { + agent { + docker { + image 'rust:1.75.0-slim' + } + } steps { sh 'cargo build' } } stage('Test') { + agent { + docker { + image 'rust:1.75.0-slim' + } + } steps { sh 'cargo test' }