diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index ac4a4d03522a625a4fa96bc1bb835b0fa9fbb30e..a235d33dceab836564355e0fae835d4025b852d8 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -248,7 +248,7 @@ ocaml-versions: - ./nix/build-proxy.sh default-config-tests parallel: matrix: - - OCAML: ["4.08", "4.13"] + - OCAML: ["4.08", "4.14"] when: manual # Opam pin