diff options
| author | Tej Chajed | 2017-03-10 12:13:38 -0500 |
|---|---|---|
| committer | Tej Chajed | 2017-03-10 12:42:59 -0500 |
| commit | 935946b1aed05fa2d285f0da8f457563f4641b9e (patch) | |
| tree | 5842f0e46b16ce77f2ab711b6c6911f6e6cdad62 | |
| parent | 9add418e7699a812e7cf5257680a7550234deb2a (diff) | |
[ci] Document that sudo: false is slower
| -rw-r--r-- | .travis.yml | 3 |
1 files changed, 3 insertions, 0 deletions
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 |