From 6a04c7f4ddc51f4d8ee832b2101a2a8d31bd9942 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 4 Aug 2020 11:15:04 -0400 Subject: [PATCH] chore: travis versions --- .travis.yml | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/.travis.yml b/.travis.yml index ea1028cb..746d014c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -8,11 +8,8 @@ env: - PINS="sidekick:. sidekick-bin:." - DISTRO="ubuntu-16.04" matrix: - #- PACKAGE="sidekick" OCAML_VERSION="4.02.3" - PACKAGE="sidekick" CAML_VERSION="4.03" - - PACKAGE="sidekick" CAML_VERSION="4.04" - - PACKAGE="sidekick" CAML_VERSION="4.05" - PACKAGE="sidekick" CAML_VERSION="4.06" - PACKAGE="sidekick" CAML_VERSION="4.08" - - PACKAGE="sidekick" CAML_VERSION="4.09" - - PACKAGE="sidekick-bin" CAML_VERSION="4.06" + - PACKAGE="sidekick" CAML_VERSION="4.10" + - PACKAGE="sidekick-bin" CAML_VERSION="4.06"