diff options
| author | Enrico | 2018-03-03 10:24:59 +0100 |
|---|---|---|
| committer | GitHub | 2018-03-03 10:24:59 +0100 |
| commit | 5811c112c2cf6db25b6a2a1b793d3df5e906b261 (patch) | |
| tree | fdbcf02e20b215a72410f9e27d30d4ce20e2c5c0 | |
| parent | 13f26ccc09f87b222f9601892f085276a6ddb8c0 (diff) | |
| parent | 27294346fffdbb0f719e84787b4f845576e48d46 (diff) | |
Merge pull request #181 from gares/travis/no85
travis: disable Coq 8.5
| -rw-r--r-- | .travis.yml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 5020545..42f8ad6 100644 --- a/.travis.yml +++ b/.travis.yml @@ -19,7 +19,6 @@ env: - COMPILER="system" # Main test targets matrix: - - TEST_TARGET="v8.5" - TEST_TARGET="v8.6" - TEST_TARGET="v8.7" - TEST_TARGET="master" |