diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8e53ff6691064eb0c79b3beefe055292886190ba..d604612c638ba2c5ada1eb5bb785245f22953997 100644 --- 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"