From 0067ccf297a1d4cf5fab2e2203c1238720db46ef Mon Sep 17 00:00:00 2001 From: acereca Date: Fri, 12 Feb 2021 12:57:19 +0100 Subject: [PATCH] bump python to 3.8 --- Jenkinsfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index de517f8..3820a12 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -4,9 +4,9 @@ pipeline { stage("Setup") { agent any steps { - sh 'pip install sphinx' - sh 'pip install pydata-sphinx-theme' - sh 'pip install -e .' + sh 'pip3.8 install sphinx' + sh 'pip3.8 install pydata-sphinx-theme' + sh 'pip3.8 install -e .' sh 'mkdir -p docs/_build' } }