From b12db3f03e30ec76328d64315326de534ef85517 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 17 Jun 2018 14:34:18 -0500 Subject: [PATCH] chore: fix travis, only build on >= 4.03 --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 394a7896..e2eaff5f 100644 --- a/.travis.yml +++ b/.travis.yml @@ -8,7 +8,7 @@ env: - PINS="sidekick:." - DISTRO="ubuntu-16.04" matrix: - - PACKAGE="sidekick" OCAML_VERSION="4.02.3" + #- PACKAGE="sidekick" OCAML_VERSION="4.02.3" - PACKAGE="sidekick" OCAML_VERSION="4.03.0" - PACKAGE="sidekick" OCAML_VERSION="4.04.2" - PACKAGE="sidekick" OCAML_VERSION="4.05.0"