Commit bd6a25a1 authored by François Bobot's avatar François Bobot
Browse files

Change default branch

parent 2d39476c
...@@ -4,7 +4,7 @@ stages: ...@@ -4,7 +4,7 @@ stages:
variables: variables:
CURRENT: $CI_COMMIT_REF_NAME CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "master" DEFAULT: "stable/manganese"
OCAML: "4_08" OCAML: "4_08"
FRAMA_CI_OPT: "--override frama-clang:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA" FRAMA_CI_OPT: "--override frama-clang:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
......
Supports Markdown
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