From 8589f909c35d23ddade912292ef4ccff7afc69da Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 27 Oct 2022 09:06:51 +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 a137e6e4..16b5dca1 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -14,7 +14,7 @@ default:
 ### VARIABLES
 
 variables:
-  DEFAULT: "master"
+  DEFAULT: "stable/iron"
   OCAML: "4.11"
 
 ################################################################################
-- 
GitLab