ci: Bump time limit of tools builder on PRs

alexcrichton · alexcrichton · commit 7df9ad3d0778 · 2019-07-16T08:25:01.000-07:00
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:
