diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ef672cef928e516bfebf4b8d14ed493448ef1f7f..df17eef2d7d43783f34688ad5010798a3f8ccb11 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -16,7 +16,7 @@ default:
 ### VARIABLES
 
 variables:
-  DEFAULT: "stable/zinc"
+  DEFAULT: "master"
   OCAML: "4.14"
 
 ################################################################################