diff options
author | Lars Wirzenius <lwirzenius@wikimedia.org> | 2019-05-02 19:51:24 +0300 |
---|---|---|
committer | Lars Wirzenius <lwirzenius@wikimedia.org> | 2019-05-02 19:51:24 +0300 |
commit | fff575caa505b822bd1ecbf91e4fa29d558bdcfd (patch) | |
tree | 682aade85260b42d8eb4e6590f2f8a037974c02c /ci-arch.mdwn | |
parent | 1b696f34ff6bfb91b408f2bf646093777ced53d5 (diff) | |
download | wmf-ci-arch-fff575caa505b822bd1ecbf91e4fa29d558bdcfd.tar.gz |
Change: clarify MAXBUILDTIME
Diffstat (limited to 'ci-arch.mdwn')
-rw-r--r-- | ci-arch.mdwn | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ci-arch.mdwn b/ci-arch.mdwn index a7e7011..8c7a14a 100644 --- a/ci-arch.mdwn +++ b/ci-arch.mdwn @@ -232,7 +232,9 @@ TITLE: Future WMF CI architecture * **(LIVELOG)** Should have live console output of build. -* **(MAXBUILDTIME)** Should have build timeouts. +* **(MAXBUILDTIME)** Should have build timeouts so that a build may + fail if it takes too long. Among other reasons, this is useful to + automatically work around builds that get "stuck" indefinitely. * **(SECRETS)** Should support secure storage of credentials / secrets. |