merged with master, updated set of compilers

BinaryAnalysisPlatform · Aug 14, 2019 · 0ca5350 · 0ca5350
1 parent deaef40
commit 0ca5350
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -37,11 +37,8 @@ cache:
   - $HOME/save_opam
 
 env:
-  - OCAML_VERSION=4.04.1
-  - OCAML_VERSION=4.05
-  - OCAML_VERSION=4.06
   - OCAML_VERSION=4.07 WITH_BUILD_CACHE=true
-  - OCAML_VERSION=4.08 WITH_BUILD_CACHE=true
+  - OCAML_VERSION=4.08
 
 stage: Compile
 script: bash -ex .travis_install.sh