From 4ab1997b4561bc86a4afdea828ba35aad0e75298 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 29 Oct 2019 14:32:24 -0500 Subject: [PATCH] chore: add 4.09 in travis --- .travis.yml | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/.travis.yml b/.travis.yml index 288e49e4..3892926c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -7,10 +7,12 @@ env: global: - PINS="sidekick:." - DISTRO="ubuntu-16.04" + - PACKAGE="sidekick" matrix: #- PACKAGE="sidekick" OCAML_VERSION="4.02.3" - - PACKAGE="sidekick" OCAML_VERSION="4.03" - - PACKAGE="sidekick" OCAML_VERSION="4.04" - - PACKAGE="sidekick" OCAML_VERSION="4.05" - - PACKAGE="sidekick" OCAML_VERSION="4.06" - - PACKAGE="sidekick" OCAML_VERSION="4.08" + - OCAML_VERSION="4.03" + - OCAML_VERSION="4.04" + - OCAML_VERSION="4.05" + - OCAML_VERSION="4.06" + - OCAML_VERSION="4.08" + - OCAML_VERSION="4.09"