diff options
| author | Enrico Tassi | 2018-02-27 11:43:27 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2018-02-27 11:43:27 +0100 |
| commit | 27294346fffdbb0f719e84787b4f845576e48d46 (patch) | |
| tree | fdbcf02e20b215a72410f9e27d30d4ce20e2c5c0 | |
| parent | 13f26ccc09f87b222f9601892f085276a6ddb8c0 (diff) | |
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" |