diff --git a/src/plugins/e-acsl/.gitlab-ci.yml b/src/plugins/e-acsl/.gitlab-ci.yml
index b8a7abb14154b55cf62f9549546ef2e17417a1d2..b9be114170ac470939c88f545001c63633665d50 100644
--- a/src/plugins/e-acsl/.gitlab-ci.yml
+++ b/src/plugins/e-acsl/.gitlab-ci.yml
@@ -5,7 +5,7 @@ stages:
 
 variables:
     CURRENT: $CI_COMMIT_REF_NAME
-    DEFAULT: "stable/potassium"
+    DEFAULT: "master"
     OCAML: "4_05"
     FRAMA_CI_OPT: "--override e-acsl:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"