diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 816109aa7bcebd83b8b7ddafe8f6216934ad5387..44e9e4c1d968c467623aa3c939a11a87680af003 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,7 +1,7 @@ Tests: variables: CURRENT: $CI_COMMIT_REF_NAME - DEFAULT: "master" + DEFAULT: "stable/chromium" OCAML: "4_08" FRAMA_CI_OPT: "--override meta:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA" script: