diff --git a/ci/Jenkinsfile.lpt b/ci/Jenkinsfile.lpt index 2109a090b..c81a21b78 100644 --- a/ci/Jenkinsfile.lpt +++ b/ci/Jenkinsfile.lpt @@ -7,6 +7,7 @@ pipeline { options { timestamps() timeout(time: 20, unit: 'MINUTES') + disableRestartFromStage() buildDiscarder(logRotator( numToKeepStr: '10', daysToKeepStr: '30', diff --git a/ci/Jenkinsfile.prs b/ci/Jenkinsfile.prs index 958665a69..2aa56543c 100644 --- a/ci/Jenkinsfile.prs +++ b/ci/Jenkinsfile.prs @@ -36,6 +36,7 @@ pipeline { options { timestamps() + disableRestartFromStage() /* Prevent Jenkins jobs from running forever */ timeout(time: 30, unit: 'MINUTES') /* Limit builds retained. */ diff --git a/ci/Jenkinsfile.release b/ci/Jenkinsfile.release index 5d18d32aa..4a0cd0df3 100644 --- a/ci/Jenkinsfile.release +++ b/ci/Jenkinsfile.release @@ -6,6 +6,7 @@ pipeline { options { timestamps() + disableRestartFromStage() timeout(time: 20, unit: 'MINUTES') buildDiscarder(logRotator( numToKeepStr: '10',