Reduce timeout

This commit is contained in:
Gabriele C 2018-07-16 19:14:52 +02:00
parent db765aab1b
commit f410ae26da

2
Jenkinsfile vendored
View File

@ -7,7 +7,7 @@ pipeline {
} }
options { options {
timeout(time: 8, unit: 'MINUTES') timeout(time: 5, unit: 'MINUTES')
timestamps() timestamps()
} }