Update .gitlab-ci.yml

22aa3c4e · François Bobot · f20e009f · 22aa3c4e
Commit 22aa3c4e authored Aug 02, 2019 by François Bobot
--- a/src/plugins/e-acsl/.gitlab-ci.yml
+++ b/src/plugins/e-acsl/.gitlab-ci.yml
@@ -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"