Commit 4a9b05cf authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Change default branch

parent 472692ef
......@@ -7,7 +7,7 @@ stages:
variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "master"
DEFAULT: "stable/titanium"
FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
OCAML: "4_08"
......
Markdown is supported
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