From 923fb22d972bf5070967107c834666b4a4032aef Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 23 Oct 2020 09:24:30 +0200
Subject: [PATCH] Reset default branch
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0a451ed3..6d50bcc5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,7 +4,7 @@ stages:
variables:
CURRENT: $CI_COMMIT_REF_NAME
- DEFAULT: "stable/titanium"
+ DEFAULT: "master"
OCAML: "4_08"
FRAMA_CI_OPT: "--override frama-clang:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
--
GitLab