From 935946b1aed05fa2d285f0da8f457563f4641b9e Mon Sep 17 00:00:00 2001
From: Tej Chajed
Date: Fri, 10 Mar 2017 12:13:38 -0500
Subject: [ci] Document that sudo: false is slower

---
 .travis.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index 678b4af7f4..7138d5c61e 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,4 +1,7 @@
 dist: trusty
+# Travis builds are slower using sudo: false (the container-based
+# infrastructure) as of March 2017; see
+# https://github.com/coq/coq/pull/467 for some discussion.
 sudo: required
 # Until Ocaml becomes a language, we set a known one.
 language: c
-- 
cgit v1.2.3