From 2a3afe7ec131f743c40211462e49d0b157a12ab8 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 28 Dec 2017 16:08:49 +0100 Subject: [PATCH] update travis --- .travis.yml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/.travis.yml b/.travis.yml index 6256da54..fd9e2126 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,12 +1,10 @@ language: c env: - - RUN_TEST=false OCAML_VERSION=4.00.1 - - RUN_TEST=false OCAML_VERSION=4.01.0 - - RUN_TEST=true OCAML_VERSION=4.02.3 - RUN_TEST=true OCAML_VERSION=4.03.0 - RUN_TEST=true OCAML_VERSION=4.03.0+flambda - RUN_TEST=true OCAML_VERSION=4.04.0 - RUN_TEST=true OCAML_VERSION=4.04.0+flambda + - RUN_TEST=true OCAML_VERSION=4.06.0 addons: apt: sources: