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