diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index fb90f4b480a1cc183441047f2b06d0893ccbbe6e..f5798d782eafb31ad90335e210b1fef2a922709d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,6 +5,8 @@ stages:
 
 variables:
   CPU_CORES: "10"
+  OCAML: "ocaml-variants.4.14.0+options ocaml-option-flambda"
+
 
 .template: &template
   stage: build