From b9133e6d6e13a7f42ef961af309ea3d8c98442fd Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 7 Jul 2022 13:49:03 +0200
Subject: [PATCH] [ci] last ocaml is 4.14

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ac4a4d03522..a235d33dcea 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
-- 
GitLab