Merge commit '15513578c485cac0eeed51621f897ef78588e361' into pullstream
This commit is contained in:
commit
5c84a7cf90
3
Jenkinsfile
vendored
3
Jenkinsfile
vendored
@ -1,4 +1,7 @@
|
|||||||
pipeline {
|
pipeline {
|
||||||
|
options {
|
||||||
|
timeout(time: 1, unit: 'HOURS')
|
||||||
|
}
|
||||||
agent {
|
agent {
|
||||||
docker 'cuberite/docker-ci/minimal:latest'
|
docker 'cuberite/docker-ci/minimal:latest'
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user