diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 28f5c441c2c2565a2e5c66bf40e4f7a2bdfb7c5e..59d2c4b66b02f015924a34e874346cfe6c1b71bf 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -7,7 +7,7 @@ stages: variables: CURRENT: $CI_COMMIT_REF_NAME - DEFAULT: "master" + DEFAULT: "stable/scandium" FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA" check-no-old-frama-c: