diff --git a/jenkins/spack-PR b/jenkins/spack-PR index 6a4c7ef9bf..11c38900cc 100644 --- a/jenkins/spack-PR +++ b/jenkins/spack-PR @@ -20,6 +20,10 @@ def map_srun = [ pipeline { agent none + options{ + timeout(time: 3, unit: 'HOURS') + disableConcurrentBuilds() + } stages { stage('Tests') { matrix { diff --git a/jenkins/spack-PR-stable b/jenkins/spack-PR-stable index f1c72b13e0..3aa6c43694 100644 --- a/jenkins/spack-PR-stable +++ b/jenkins/spack-PR-stable @@ -20,6 +20,10 @@ def map_srun = [ pipeline { agent none + options{ + timeout(time: 3, unit: 'HOURS') + disableConcurrentBuilds() + } stages { stage('Tests') { matrix {