diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index e54f99fcb..290b1aa60 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -4,7 +4,7 @@ import groovy.transform.Field @Field final String nodeVersion = '10.4.1' // Run targets in parallel -parallel( +timeout(time: 1, unit: 'HOURS') { parallel( // the 'proper' CI pipeline runs in docker "docker": { node(label: 'linux') { ws("${env.WORKSPACE}/docker") { @@ -107,5 +107,5 @@ parallel( }} }}}} } -) +)}