Skip to content
Snippets Groups Projects
Commit 4079bbbc authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[ci] fix target branch for stable/chromium

parent 282b7ac6
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
.gitlab-ci.yml
+ 1
− 1
View file @ 4079bbbc
...@@ -7,7 +7,7 @@ stages: ...@@ -7,7 +7,7 @@ stages:
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "master" DEFAULT: "stable/chromium"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA" FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
OCAML: "4_08" OCAML: "4_08"
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment