diff --git a/ci/Jenkinsfile.prs b/ci/Jenkinsfile.prs index 78735fa0b..41fa2dd13 100644 --- a/ci/Jenkinsfile.prs +++ b/ci/Jenkinsfile.prs @@ -28,7 +28,9 @@ pipeline { options { timestamps() - /* manage how many builds we keep */ + /* Prevent Jenkins jobs from running forever */ + timeout(time: 30, unit: 'MINUTES') + /* Limit builds retained. */ buildDiscarder(logRotator( numToKeepStr: '3', daysToKeepStr: '30', diff --git a/ci/Jenkinsfile.release b/ci/Jenkinsfile.release index 87fe67d0e..d2dd256b1 100644 --- a/ci/Jenkinsfile.release +++ b/ci/Jenkinsfile.release @@ -3,6 +3,8 @@ pipeline { options { timestamps() + /* Prevent Jenkins jobs from running forever */ + timeout(time: 20, unit: 'MINUTES') /* manage how many builds we keep */ buildDiscarder(logRotator( numToKeepStr: '10',