From 32be24d601038bc9a2c834e30e9c5dcb6f0491ee Mon Sep 17 00:00:00 2001
From: Adeeb Shihadeh <adeebshihadeh@gmail.com>
Date: Wed, 12 Aug 2020 12:47:32 -0700
Subject: [PATCH] add missing agent for jenkins job

old-commit-hash: 100f2958fc08f58e6b175336b91c66850107051a
---
 Jenkinsfile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index bae3469b54..dd0e2c12fa 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -38,6 +38,12 @@ pipeline {
   stages {
 
     stage('Release Build') {
+      agent {
+        docker {
+          image 'python:3.7.3'
+          args '--user=root'
+        }
+      }
       when {
         branch 'devel-staging'
       }