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 | |
| 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.
| -rw-r--r-- | .azure-pipelines/pr.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.azure-pipelines/pr.yml b/.azure-pipelines/pr.yml index e77d047fa2d..b389dcfef45 100644 --- a/.azure-pipelines/pr.yml +++ b/.azure-pipelines/pr.yml @@ -21,6 +21,7 @@ jobs: IMAGE: mingw-check - job: LinuxTools + timeoutInMinutes: 600 pool: vmImage: ubuntu-16.04 steps: |