diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d4c9ff04cbd35981d073e8a999033b0bb70289c7..b478e2cdb48c374183692c7cff60e45a7b6b642d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -14,7 +14,7 @@ default:
 ### VARIABLES
 
 variables:
-  DEFAULT: "master"
+  DEFAULT: "stable/cobalt"
   OCAML: "4.11"
 
 ################################################################################