Reset default branch

aca3dbee · François Bobot · bd6a25a1 · aca3dbee
Commit aca3dbee authored May 09, 2022 by François Bobot
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,7 +4,7 @@ stages:

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