diff options
| author | Maxime Dénès | 2017-03-14 19:54:30 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-03-14 19:54:30 +0100 |
| commit | db1ef0aeba8bad6bb686f6adb465cb1fbb5229f3 (patch) | |
| tree | c551b56f86c5a36b84918118f277a17ce96f4a71 | |
| parent | 47743794ab9d959b8432100e28aabde7bc83a65c (diff) | |
| parent | 935946b1aed05fa2d285f0da8f457563f4641b9e (diff) | |
Merge PR#473: [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 |