From c8c2e78978246e7df970b58206feac2bfc5e3422 Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Mon, 11 Jul 2022 13:33:06 +0200 Subject: [PATCH] [ci] change default branch --- .gitlab-ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 3be36fee6c1..cb7e614039b 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -20,7 +20,7 @@ default: ### VARIABLES variables: - DEFAULT: "feature/bobot/jbuilder" + DEFAULT: "master" OCAML: "4.11" PUBLISH: "no" -- GitLab