diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a872483466af2925781be3312734852bad029f25..5f9a61f328229cacc6d3cfee57b6bca12cb5ccdc 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,7 +5,6 @@ stages:
 
 variables:
   CPU_CORES: "10"
-  MAIN_BRANCH: "master"
   GIT_SUBMODULE_STRATEGY: "recursive"
 
 .template: &template
@@ -19,7 +18,7 @@ variables:
     paths:
     - opamroot/
   only:
-  - "$MAIN_BRANCH"
+  - master
   - /^ci/
   except:
   - triggers
diff --git a/ci b/ci
index 60286c6bb8a9f9ec21f0097530ccd39c9fc44930..df14cb0514bf51e7e08d255238470c175eadb435 160000
--- a/ci
+++ b/ci
@@ -1 +1 @@
-Subproject commit 60286c6bb8a9f9ec21f0097530ccd39c9fc44930
+Subproject commit df14cb0514bf51e7e08d255238470c175eadb435