Reset default branch

5ca7f066 · Andre Maroneze · 5aac7db6 · 5ca7f066
Commit 5ca7f066 authored 4 years ago by Andre Maroneze
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -7,7 +7,7 @@ stages:

 variables:
    CURRENT: $CI_COMMIT_REF_NAME
-    DEFAULT: "stable/scandium"
+    DEFAULT: "master"
    FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"

 check-no-old-frama-c: