diff options
| author | bors <bors@rust-lang.org> | 2019-02-02 00:12:32 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-02-02 00:12:32 +0000 |
| commit | 9f886414505cce50eae02fb241b83701dc61c837 (patch) | |
| tree | 8f2d6ffec9765cfdfcc2e2ba1058c148bff7d863 /tests/mir-opt/lower_array_len.array_len_raw.NormalizeArrayLen.diff | |
| parent | 2972d546021a3035a118c8e25df3e0f0ca2ef12c (diff) | |
| parent | 69d96c7cdf384309ad429e075ff6082c8b090667 (diff) | |
| download | rust-9f886414505cce50eae02fb241b83701dc61c837.tar.gz rust-9f886414505cce50eae02fb241b83701dc61c837.zip | |
Auto merge of #3731 - phansch:travis, r=phansch
Travis: Don't run integration tests on every PR commit This does not save Clippy any time but it makes sure that the concurrent build limit is not reached as quickly for the `rust-lang` Travis account. I can't create a permalink to the discussion somehow, so here's an excerpt from the Infra channel: ``` [11:57 PM] pietroalbini: there is a clippy build (20 jobs) and a packed_simd one (42 builders) and a rustc one which isn't scheduling atm [11:58 PM] pietroalbini: I don't think there is a way to prioritize rustc builds in the queue on travis, right? [12:22 AM] alexcrichton: pietro: I don't think so no [12:22 AM] alexcrichton: If it's a problem we should cull builds on other projects [12:22 AM] alexcrichton: The rust repo is the #1 priority ``` Since the integration tests are rarely failing these days, I think it's fine to not run them on every commit. If needed, it's also still possible to do a complete test run with `@bors try`.
Diffstat (limited to 'tests/mir-opt/lower_array_len.array_len_raw.NormalizeArrayLen.diff')
0 files changed, 0 insertions, 0 deletions