From 903628e253513ea766c08ce56de1dc162b056462 Mon Sep 17 00:00:00 2001 From: Andre Maroneze <andre.maroneze@cea.fr> Date: Wed, 25 Oct 2023 08:31:35 +0000 Subject: [PATCH] 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 6320989d..7cee2de9 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -14,7 +14,7 @@ default: ### VARIABLES variables: - DEFAULT: "master" + DEFAULT: "stable/nickel" OCAML: "4.13" ################################################################################ -- GitLab