From 50ac7f94219c655c4ff759b57fe436b2fdbbfd5d Mon Sep 17 00:00:00 2001
From: Adeeb Shihadeh <adeebshihadeh@gmail.com>
Date: Wed, 5 Aug 2020 14:22:14 -0700
Subject: [PATCH] it's docker

---
 Jenkinsfile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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 {