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