diff --git a/.travis.yml b/.travis.yml index 08123822b7c..78a76e163bc 100644 --- a/.travis.yml +++ b/.travis.yml @@ -6,6 +6,8 @@ dist: trusty sudo: required matrix: include: + - os: linux + env: OCAML_VERSION=4.04 OPAM_VERSION=1.2.2 - os: linux env: OCAML_VERSION=4.03 OPAM_VERSION=1.2.2 - os: linux