Skip to content
Snippets Groups Projects
Commit 78f38877 authored by François Bobot's avatar François Bobot
Browse files

Update .gitlab-ci.yml

parent be8b3ed1
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/.gitlab-ci.yml
+ 1
− 1
View file @ 78f38877
......@@ -5,7 +5,7 @@ stages:
variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "stable/potassium"
DEFAULT: "master"
OCAML: "4_05"
FRAMA_CI_OPT: "--override e-acsl:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
......
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