diff --git a/Jenkinsfile b/Jenkinsfile index d78f96ac4..2a7c551df 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -19,6 +19,7 @@ pipeline { } } agent any + options { timeout(time: 20, unit: 'MINUTES') } steps { script { @@ -39,6 +40,7 @@ pipeline { args '-v $HOME/.m2:/tmp/spring-data-maven-repository' } } + options { timeout(time: 30, unit: 'MINUTES') } steps { sh 'rm -rf ?' @@ -75,6 +77,7 @@ pipeline { args '-v $HOME/.m2:/tmp/spring-data-maven-repository' } } + options { timeout(time: 20, unit: 'MINUTES') } environment { ARTIFACTORY = credentials('02bd1690-b54f-4c9f-819d-a77cb7a9822c') @@ -96,6 +99,7 @@ pipeline { args '-v $HOME/.m2:/tmp/spring-data-maven-repository' } } + options { timeout(time: 20, unit: 'MINUTES') } environment { ARTIFACTORY = credentials('02bd1690-b54f-4c9f-819d-a77cb7a9822c')