diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d3600979543f5c057672f0be089f4ccc43a5eeb2..ba2399024b0f27df16f4c914ad166fb39ebd17f8 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -21,7 +21,7 @@ default:
 ### VARIABLES
 
 variables:
-  DEFAULT: "master"
+  DEFAULT: "stable/iron"
   OCAML: "4.11"
   PUBLISH: "no"
   RELEASE: "no"