summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Jenkinsfile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index db5196742..f53c21881 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,4 +1,7 @@
pipeline {
+ options {
+ timeout(time: 1, unit: 'HOURS')
+ }
agent {
docker 'cuberite/docker-ci/minimal:latest'
}