diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 6320989de3563b71ac785e98036116036473f593..7cee2de968bf567d9b01b4ea856a9e0b464c87f1 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -14,7 +14,7 @@ default: ### VARIABLES variables: - DEFAULT: "master" + DEFAULT: "stable/nickel" OCAML: "4.13" ################################################################################