diff options
author | 2017-03-23 16:00:53 +0100 | |
---|---|---|
committer | 2017-03-23 16:00:53 +0100 | |
commit | dccc6c5a0d7bb8b8936a8327ae979138c9f13453 (patch) | |
tree | 9c2f29254a643cdeef884309d8d53a3baf94f3ae /.travis.yml | |
parent | 9f69250d5ba4116bad85662830460f1519edbe30 (diff) | |
parent | 1b0d67a0cf1b725715e97ba6448c3ff0154813bc (diff) |
Merge PR#497: [travis] [8.6.only] Backport latest changes from trunk.
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index f609852bc..7138d5c61 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 @@ -29,6 +32,7 @@ env: - TEST_TARGET="ci-coquelicot" - TEST_TARGET="ci-geocoq" - TEST_TARGET="ci-fiat-crypto" + - TEST_TARGET="ci-fiat-parsers" - TEST_TARGET="ci-flocq" - TEST_TARGET="ci-hott" - TEST_TARGET="ci-iris-coq" |