diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 789f2570124b91c7749ccea232d6229e8ef33646..b15ec7f89277f41785d608a4a278fa361b59c180 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -21,7 +21,7 @@ default: ### VARIABLES variables: - DEFAULT: "stable/nickel" + DEFAULT: "master" OCAML: "4.13" PUBLISH: "no" RELEASE: "no"