From 195cdaa5863489a8ea5df0f8c0d05f99cdc6328a Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Fri, 25 Oct 2024 12:26:59 +0000
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 b88b5ed..cde597d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -17,7 +17,7 @@ default:
 ### VARIABLES
 
 variables:
-  DEFAULT: "stable/zinc"
+  DEFAULT: "master"
   OCAML: "4.14"
 
 ################################################################################
-- 
GitLab