From 1a29fd12f8cc851b445c469af4b647b8a4b005b9 Mon Sep 17 00:00:00 2001
From: Thierry Martinez <Thierry.Martinez@inria.fr>
Date: Fri, 10 Jun 2022 11:35:30 +0200
Subject: [PATCH] Add 4.14 to OCaml version list

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index d02c5a4..d7bc456 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -177,7 +177,7 @@ pipeline {
             steps {
                 script {
                     opam_installations(
-                        ["4.08", "4.09", "4.10", "4.11", "4.12", "4.13"],
+                        ["4.08", "4.09", "4.10", "4.11", "4.12", "4.13", "4.14"],
                         "file:///clangml/")
                 }
             }