From abfce8a78e1f35662c82f42f83e10273b4cee2b1 Mon Sep 17 00:00:00 2001
From: Erick Daniszewski <edaniszewski@gmail.com>
Date: Mon, 17 Aug 2020 08:43:25 -0400
Subject: [PATCH] ci: update lint stage to use py38

---
 .jenkins | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.jenkins b/.jenkins
index 76ca0556..375b83e9 100644
--- a/.jenkins
+++ b/.jenkins
@@ -14,8 +14,13 @@ pipeline {
     }
 
     stage('Lint') {
+      agent {
+        label 'python-3.8'
+      }
       steps {
-        sh 'tox -e lint'
+        container('python') {
+          sh 'tox -e lint'
+        }
       }
     }