diff --git a/Jenkinsfile b/Jenkinsfile index 3e0c7d0..a1bf932 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -24,7 +24,7 @@ def err = null currentBuild.result = "SUCCESS" try { - options { + checkoutOption { timeout(time:5, units: 'MINUTES') } node {