From 04a58d368478a1a25cdd2017ae5d2a0eb7bc8322 Mon Sep 17 00:00:00 2001 From: LukasK13 Date: Wed, 22 Jul 2020 08:31:10 +0200 Subject: [PATCH] Clean up --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index b587415..e696856 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,7 @@ pipeline { agent none environment { - TEST_DIR = 'tests' + TEST_DIR = 'test' SPHINX_DIR = 'docs' BUILD_DIR = 'build/html' SOURCE_DIR = 'source'