diff options
Diffstat (limited to 'third_party/rust/metal/bors.toml')
| -rw-r--r-- | third_party/rust/metal/bors.toml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/third_party/rust/metal/bors.toml b/third_party/rust/metal/bors.toml new file mode 100644 index 0000000000..49ca8c96a8 --- /dev/null +++ b/third_party/rust/metal/bors.toml @@ -0,0 +1,8 @@ +status = [ "build (stable)" ] + +# As of May 2020 we can expect CI to take roughly 3 minutes based on +# Based on https://github.com/chinedufn/metal-rs/actions/runs/94020785 +# +# We round this up to a timeout of 5 minutes to account for any potential future +# inconsistencies in CI run times. +timeout-sec = 300 |