diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b93b0d75b691d863742a01e4f0f1c2d1baee15b8..5c6e0689a851f01aeea23fd1a6204c9640b8e646 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -21,7 +21,7 @@ default:
 ### VARIABLES
 
 variables:
-  DEFAULT: "master"
+  DEFAULT: "stable/cobalt"
   OCAML: "4.11"
   PUBLISH: "no"
   RELEASE: "no"