diff --git a/Jenkinsfile b/Jenkinsfile index a68cd42a9..d12189941 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -2,7 +2,7 @@ pipeline { agent { dockerfile { filename 'Dockerfile' - args '-v cargo-cache:/cargocache:rw' + args '-v cargo-cache:/cargocache:rw -e "CARGO_HOME=/cargocache"' } } stages {