diff options
| author | Alexander Harkness <me@bearbin.net> | 2023-04-17 22:35:53 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-17 22:35:53 +0200 |
| commit | 15513578c485cac0eeed51621f897ef78588e361 (patch) | |
| tree | 73dd49699ba3466006304320ff5b0faa6e29d19a /Jenkinsfile | |
| parent | Implement slime chunks. (#5484) (diff) | |
| download | cuberite-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-- | Jenkinsfile | 3 |
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' } |