diff --git a/testsuite/Jenkinsfile b/testsuite/Jenkinsfile index 2a75eb9..0f1a9bc 100644 --- a/testsuite/Jenkinsfile +++ b/testsuite/Jenkinsfile @@ -54,6 +54,9 @@ pipeline { } stages { stage('setup miniconda') { + options { + timeout(time: 10, unit: 'SECONDS') + } environment { PATH = "$WORKSPACE/miniconda_$NODE_NAME/bin:$PATH" } @@ -72,6 +75,9 @@ pipeline { } } stage('run tests') { + options { + timeout(time: 10, unit: 'MINUTES') + } environment { PATH = "$WORKSPACE/miniconda_${NODE_NAME}/bin:$PATH" }