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' } }