From 382ef12c58ae8c1e817bf92ee572b03229aa8c18 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sun, 15 Jul 2018 08:56:13 +0200 Subject: [PATCH 1/2] Update workspace file for 4.07.0 Signed-off-by: Rudi Grinberg --- dune-workspace.dev | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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))) From 46a06be09280a0395530485a5a465fedd16ecc47 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sun, 15 Jul 2018 08:57:15 +0200 Subject: [PATCH 2/2] Add 4.07.0 support in travis Signed-off-by: Rudi Grinberg --- .travis.yml | 6 ++++++ 1 file changed, 6 insertions(+) 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