diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-02-17 19:32:08 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-07-13 23:56:06 +0200 |
| commit | 4aaeb8abf89d504de44252ee9923bcba1e3eb007 (patch) | |
| tree | 648b261a2ec283c5765162cb25c2601fcba834d5 /.travis.yml | |
| parent | e3eb17a728d7b6874e67462e8a83fac436441872 (diff) | |
[travis] Update testing to 4.05.0 + Camlp5 7.01
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.travis.yml b/.travis.yml index d2d779d8b..18f229787 100644 --- a/.travis.yml +++ b/.travis.yml @@ -95,8 +95,8 @@ matrix: - env: - TEST_TARGET="test-suite" - - COMPILER="4.04.1" - - CAMLP5_VER="6.17" + - COMPILER="4.05.0" + - CAMLP5_VER="7.01" - EXTRA_CONF="-coqide opt -with-doc yes" - EXTRA_OPAM="lablgtk-extras hevea" addons: @@ -124,8 +124,8 @@ matrix: - env: - TEST_TARGET="coqocaml" - - COMPILER="4.04.1" - - CAMLP5_VER="6.17" + - COMPILER="4.05.0" + - CAMLP5_VER="7.01" - EXTRA_CONF="-coqide opt -warn-error" - EXTRA_OPAM="lablgtk-extras hevea" # dummy target |