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/")
                 }
             }