diff options
| author | Alex Crichton <alex@alexcrichton.com> | 2019-07-16 08:25:01 -0700 |
|---|---|---|
| committer | Alex Crichton <alex@alexcrichton.com> | 2019-07-16 08:25:01 -0700 |
| commit | 7df9ad3d0778a805169e08b03289603f9601e528 (patch) | |
| tree | f48a4a3aacfab0dbc142f60e3ddd10ed20ab28c0 /src/test/incremental/thinlto | |
| parent | 02785dabad07d19b8c76a7f86763801d5d3497ff (diff) | |
| download | rust-7df9ad3d0778a805169e08b03289603f9601e528.tar.gz rust-7df9ad3d0778a805169e08b03289603f9601e528.zip | |
ci: Bump time limit of tools builder on PRs
This should give it enough time to finish instead of being killed after an hour.
Diffstat (limited to 'src/test/incremental/thinlto')
0 files changed, 0 insertions, 0 deletions