diff options
| author | Enrico | 2017-09-07 15:03:10 +0200 |
|---|---|---|
| committer | GitHub | 2017-09-07 15:03:10 +0200 |
| commit | dffadb2f3035673c22495dd23e96e0fc739b10ad (patch) | |
| tree | 88788205a96dc97c15c8296309cead28f71faf1f | |
| parent | ed467b353b040f1a87ba7ce3242d28bc9423acbb (diff) | |
travis: also test Coq v8.7
| -rw-r--r-- | .travis.yml | 1 |
1 files changed, 1 insertions, 0 deletions
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: |