From 5c2f46e84d8bd930cda3f20d19bd5f300ab3b23b Mon Sep 17 00:00:00 2001 From: LukasK13 Date: Wed, 22 Jul 2020 08:09:51 +0200 Subject: [PATCH] Don't run docker container with root privileges --- Jenkinsfile | 1 + 1 file changed, 1 insertion(+) diff --git a/Jenkinsfile b/Jenkinsfile index fa8a97b..1eae37d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,7 @@ pipeline { agent none environment { + TEST_DIR = 'tests' SPHINX_DIR = 'docs' BUILD_DIR = 'build/html' SOURCE_DIR = 'source'