diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 0a827b81ef53e13958a4c524eb3340285334cec0..41263a09a39e33a47b7caa3cb919c253d962e6bf 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -7,7 +7,7 @@ stages: variables: CURRENT: $CI_COMMIT_REF_NAME - DEFAULT: "master" + DEFAULT: "stable/chromium" FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA" OCAML: "4_08"