diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index e58993608f1741633b422e42a8d10ef5361e2f54..21f856c6d52127a1b65c2b2fdc70d3c80fa6b771 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -5,7 +5,7 @@ stages: variables: CPU_CORES: "10" - OCAML: "ocaml-variants.4.14.0" + OCAML: "ocaml-base-compiler.4.14.0" .template: &template stage: build