summaryrefslogtreecommitdiffstats
path: root/Jenkinsfile
diff options
context:
space:
mode:
authorAlexander Harkness <me@bearbin.net>2023-04-17 22:35:53 +0200
committerGitHub <noreply@github.com>2023-04-17 22:35:53 +0200
commit15513578c485cac0eeed51621f897ef78588e361 (patch)
tree73dd49699ba3466006304320ff5b0faa6e29d19a /Jenkinsfile
parentImplement slime chunks. (#5484) (diff)
downloadcuberite-15513578c485cac0eeed51621f897ef78588e361.tar
cuberite-15513578c485cac0eeed51621f897ef78588e361.tar.gz
cuberite-15513578c485cac0eeed51621f897ef78588e361.tar.bz2
cuberite-15513578c485cac0eeed51621f897ef78588e361.tar.lz
cuberite-15513578c485cac0eeed51621f897ef78588e361.tar.xz
cuberite-15513578c485cac0eeed51621f897ef78588e361.tar.zst
cuberite-15513578c485cac0eeed51621f897ef78588e361.zip
Diffstat (limited to 'Jenkinsfile')
-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'
}