[MRG+1] CircleCI timeout extended (scikit-learn#7693)

jstriebel · amueller · commit 0653aaccfbb7 · 2016-10-18T15:09:12.000-04:00
* Circle CI: adding 1h timeout for build_doc.sh

* Circle CI: typo + trigger build

* CircleCI: trigger build again
diff --git a/circle.yml b/circle.yml
@@ -6,7 +6,8 @@ dependencies:
   # Check whether the doc build is required, install build dependencies and
   # run sphinx to build the doc.
   override:
-    - ./build_tools/circle/build_doc.sh
+    - ./build_tools/circle/build_doc.sh:
+        timeout: 3600 # seconds
 test:
   # Grep error on the documentation
   override:
