Rollup merge of #62722 - alexcrichton:unlimit-tools, r=pietroalbini

Mark-Simulacrum · web-flow · commit 51ca50ebd617 · 2019-07-16T11:39:00.000-04:00
ci: Bump time limit of tools builder on PRs

This should give it enough time to finish instead of being killed after
an hour.
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:
