Ravi Srinivasan
2019-07-04 2aa4b3aa529163a93565d8b56a8060fa9d6b2f48
increased jenkins pipeline timeout value
1 files modified
6 ■■■■ changed files
books/jenkins/Jenkinsfile 6 ●●●● patch | view | raw | blame | history
books/jenkins/Jenkinsfile
@@ -1,7 +1,7 @@
pipeline {
    options {
        // set a timeout of 30 minutes for this pipeline
        timeout(time: 30, unit: 'MINUTES')
        // set a timeout of 60 minutes for this pipeline
        timeout(time: 60, unit: 'MINUTES')
    }
    agent {
      node {
@@ -133,4 +133,4 @@
            }
        }
    }
}
}