From 37c37f3fbdeae50bac9748af3a76389abd583b3c Mon Sep 17 00:00:00 2001 From: ygrek Date: Tue, 7 Aug 2018 11:42:51 -0700 Subject: [PATCH] CI: + 4.07 --- .travis.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 6497c23..3fa3417 100644 --- a/.travis.yml +++ b/.travis.yml @@ -8,6 +8,7 @@ env: - OCAML_VERSION=4.04 - OCAML_VERSION=4.05 - OCAML_VERSION=4.06 + - OCAML_VERSION=4.07 os: - - linux - osx + - linux -- 2.11.4.GIT