commit | 08f1d5a67de9e1c6ad1a296ca8af1d92ab2b1ba6 | [log] [tgz] |
---|---|---|
author | Rico Wind <ricow@google.com> | Fri Sep 10 08:52:38 2021 +0200 |
committer | Rico Wind <ricow@google.com> | Fri Sep 10 06:54:20 2021 +0000 |
tree | 8317901ba4b2c8ac8514d848e2f1550e7f51cdcb | |
parent | fdb2d31d1a35c7f5eeef0cc6c429526960a30676 [diff] |
Increase timeout for desugared library head builder Change-Id: I921b8ffbfbd07343df6f77b6eaadbf97a7b6aac3
diff --git a/infra/config/global/cr-buildbucket.cfg b/infra/config/global/cr-buildbucket.cfg index 85170a7..c5485c1 100644 --- a/infra/config/global/cr-buildbucket.cfg +++ b/infra/config/global/cr-buildbucket.cfg
@@ -141,6 +141,7 @@ } builders { name: "desugared_library_head" + execution_timeout_secs: 43200 # 12h mixins: "linux" mixins: "normal" priority: 26