diff --git a/Jenkinsfile b/Jenkinsfile index dc4f6685cff5c527cc14dde4bcdcbcb504fd3d84..1c9312ee83c1ddd50bfc4aa8225633725870e723 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -9,6 +9,7 @@ pipeline { ansiColor('xterm') timestamps() buildDiscarder(logRotator(numToKeepStr: '30', artifactNumToKeepStr: '10')) + timeout(time: 3, unit: 'HOURS') } stages { // *************************** Git Check **********************************