diff options
-rw-r--r-- | Jenkinsfile | 2 |
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() } |