From 1b0d67a0cf1b725715e97ba6448c3ff0154813bc Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Tue, 21 Mar 2017 17:17:28 +0100
Subject: [travis] [8.6.only] Backport latest changes from trunk.

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

(limited to '.travis.yml')

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"
-- 
cgit v1.2.3