diff --git a/Jenkinsfile b/Jenkinsfile index 04deaed11b..8d3fcab4b3 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -64,8 +64,10 @@ pipeline { stage('On-device Tests') { agent { - image 'python:3.7.3' - args '--user=root' + docker { + image 'python:3.7.3' + args '--user=root' + } } stages {