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