diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b2f5b097520e8fe4c296318bfdfc8f4bde4bba62..089e752d1a7af21c39f23b3ef63a0c52ce6fa645 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -6,7 +6,7 @@ stages:
 
 variables:
     CURRENT: $CI_COMMIT_REF_NAME
-    DEFAULT: "stable/potassium"
+    DEFAULT: "master"
     FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
 
 #avoid a nix error https://github.com/NixOS/nix/issues/2087