diff --git a/Jenkinsfile b/Jenkinsfile index 10bbfa2..d394fdd 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,6 @@ pipeline { agent { - dockerfile { + docker { image 'rust:latest' args '--privileged' }