Rollup merge of rust-lang#62722 - alexcrichton:unlimit-tools, r=pietr…

…oalbini ci: Bump time limit of tools builder on PRs This should give it enough time to finish instead of being killed after an hour.
Mark-Simulacrum · Jul 16, 2019 · 51ca50e · 51ca50e
2 parents 94b16d4 + 7df9ad3
commit 51ca50e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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: