diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6d50bcc59527cf729a2b694f2c5d4fb27d2bb5f6..0a451ed337e48ef967ec59ec1c65cfd528ad02b5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,7 +4,7 @@ stages:
 
 variables:
     CURRENT: $CI_COMMIT_REF_NAME
-    DEFAULT: "master"
+    DEFAULT: "stable/titanium"
     OCAML: "4_08"
     FRAMA_CI_OPT: "--override frama-clang:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"