ci: Bump time limit of tools builder on PRs

This should give it enough time to finish instead of being killed after an hour.
rust-lang · Jul 16, 2019 · 7df9ad3 · 7df9ad3
1 parent 02785da
commit 7df9ad3
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: