From 7df9ad3d0778a805169e08b03289603f9601e528 Mon Sep 17 00:00:00 2001
From: Alex Crichton <alex@alexcrichton.com>
Date: Tue, 16 Jul 2019 08:25:01 -0700
Subject: [PATCH] ci: Bump time limit of tools builder on PRs

This should give it enough time to finish instead of being killed after
an hour.
---
 .azure-pipelines/pr.yml | 1 +
 1 file changed, 1 insertion(+)

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: