diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 4f91f41c425a00d9be4d48db5b7d9693fb21a0ef..7a02bcb06bd8b665f99c21111a0114adb70b4072 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -21,7 +21,7 @@ default: ### VARIABLES variables: - DEFAULT: "master" + DEFAULT: "stable/copper" OCAML: "4.13" NODE: "20" PUBLISH: "no"