diff --git a/.travis.yml b/.travis.yml index 5936580e..ff8187d8 100644 --- a/.travis.yml +++ b/.travis.yml @@ -26,6 +26,9 @@ matrix: - os: linux env: OCAML_VERSION=4.06 OCAML_RELEASE=0 WITH_OPAM=0 stage: Build + - os: linux + env: OCAML_VERSION=4.07 OCAML_RELEASE=0 WITH_OPAM=0 + stage: Build - os: linux env: OCAML_VERSION=4.05 OCAML_RELEASE=0 WITH_OPAM=1 stage: Test @@ -48,3 +51,6 @@ matrix: - os: osx env: OCAML_VERSION=4.06 OCAML_RELEASE=0 WITH_OPAM=0 stage: Build_macOS + - os: osx + env: OCAML_VERSION=4.07 OCAML_RELEASE=0 WITH_OPAM=0 + stage: Build_macOS diff --git a/dune-workspace.dev b/dune-workspace.dev index 1c68f94c..74e27563 100644 --- a/dune-workspace.dev +++ b/dune-workspace.dev @@ -6,4 +6,5 @@ (context (opam (switch 4.04.2))) (context (opam (switch 4.05.0))) (context (opam (switch 4.06.1))) -(context (opam (switch 4.07.0+trunk))) +(context (opam (switch 4.07.0))) +(context (opam (switch 4.08.0+trunk)))