[ci] set default branch for stable/chromium

5c36d648 · Virgile Prevosto · eb1d3603 · 5c36d648
Commit 5c36d648 authored Oct 19, 2021 by Virgile Prevosto
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,7 +4,7 @@ stages:

 variables:
    CURRENT: $CI_COMMIT_REF_NAME
-    DEFAULT: "master"
+    DEFAULT: "stable/chromium"
    OCAML: "4_08"
    FRAMA_CI_OPT: "--override frama-clang:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"