diff options
| author | Mark Rousskov <mark.simulacrum@gmail.com> | 2019-07-16 11:39:00 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-16 11:39:00 -0400 |
| commit | 51ca50ebd617f275dea415519192c0707a1084b8 (patch) | |
| tree | 97120a910546313106f70b96cc330e6c87fedbb8 /src/test/incremental/thinlto | |
| parent | 94b16d4bd000a3ca216092f85968b753e3363a50 (diff) | |
| parent | 7df9ad3d0778a805169e08b03289603f9601e528 (diff) | |
| download | rust-51ca50ebd617f275dea415519192c0707a1084b8.tar.gz rust-51ca50ebd617f275dea415519192c0707a1084b8.zip | |
Rollup merge of #62722 - alexcrichton:unlimit-tools, r=pietroalbini
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