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'