Skip to content
GitLab
Commit 81ccaa96 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[ci] set default branch to stable/chromium

parent 01a5a201
Hide whitespace changes
Inline Side-by-side
.gitlab-ci.yml
View file @ 81ccaa96
Tests:
variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "master"
DEFAULT: "stable/chromium"
OCAML: "4_08"
FRAMA_CI_OPT: "--override meta:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
script:
......
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