diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index c0a4a8a71f4554018e2bc97ebbbdc7ebbc3d8d5a..99c53e09d036eec200d78a203f05908449db2502 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -22,7 +22,7 @@ # - OCAML_COMPILER: "4.10.0" variables: - OCAML_COMPILER: "4.11.1" + OCAML_COMPILER: "4.14.1" CLEAN_OPAM_CACHE: "false" CLEAN_DUNE_CACHE: "false" # If CLEAN_OPAM_CACHE is set to "true", the opam switch from previous CI jobs