diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9780e14229a1b3ca34de711489e3d5b0a2a3aad5..c4f06d540144848aca01fd001cdb2049473f3bbf 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -5,7 +5,7 @@ stages: variables: CPU_CORES: "10" - OCAML: "ocaml-base-compiler.4.14.0" + OCAML: "ocaml-variants.4.14.0+options ocaml-option-flambda" .template: &template stage: build