diff --git a/Jenkinsfile b/Jenkinsfile index 0e9cbba..321aae1 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -14,7 +14,7 @@ pipeline { agent any steps { sh 'python3.8 tests.py' - sh 'make doc_images -j4' + sh 'Xvfb :5 -screen 0 800x600x24 &; DISPLAY=:5 make doc_images -j4' sh 'make -C docs html' } }