summaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 6b1ca4ae..ee5b7528 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -66,7 +66,7 @@ setDescription()
pipeline {
options {
- disableConequuleusBuilds()
+ disableConcurrentBuilds()
timeout(time: 4, unit: 'HOURS')
parallelsAlwaysFailFast()
}