From dffadb2f3035673c22495dd23e96e0fc739b10ad Mon Sep 17 00:00:00 2001
From: Enrico
Date: Thu, 7 Sep 2017 15:03:10 +0200
Subject: travis: also test Coq v8.7

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

diff --git a/.travis.yml b/.travis.yml
index ffa5979..5020545 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -21,6 +21,7 @@ env:
   matrix:
   - TEST_TARGET="v8.5"
   - TEST_TARGET="v8.6"
+  - TEST_TARGET="v8.7"
   - TEST_TARGET="master"
 
 # matrix:
-- 
cgit v1.2.3