diff --git a/Jenkinsfile b/Jenkinsfile index 4f4683941..42755d5f7 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,10 @@ pipeline { - agent { dockerfile true } + agent { + dockerfile { + filename 'Dockerfile' + args '-v cargo-cache:/cargocache:rw -e "CARGO_HOME=/cargocache"' + } + } stages { stage('Build') { steps {