Commit 64926996 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[ci] reset default branch for master

parent ba07cc18
Pipeline #39058 failed with stages
......@@ -4,7 +4,7 @@ stages:
DEFAULT: "stable/chromium"
DEFAULT: "master"
OCAML: "4_08"
FRAMA_CI_OPT: "--override frama-clang:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
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