From 12442d43eeb503e0898085f28249d7a9118cce1f Mon Sep 17 00:00:00 2001
From: Simon Sapin <simon.sapin@exyr.org>
Date: Fri, 14 Sep 2018 20:09:23 +0200
Subject: [PATCH] Servo may take a while to build

---
 decision-task.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/decision-task.py b/decision-task.py
index aa6754dddea..d911b0b6058 100644
--- a/decision-task.py
+++ b/decision-task.py
@@ -28,7 +28,7 @@ def main():
         task_name="servo build task",
         command="./servo-build-task.sh",
         dockerfile=dockerfile("servo-x86_64-linux"),
-        max_run_time_minutes=60,
+        max_run_time_minutes=3 * 60,
         scopes=CARGO_CACHE_SCOPES,
         cache=CARGO_CACHE,
     )