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