From ffb79658d3bbc5271328d2e30e7dae6015db2b21 Mon Sep 17 00:00:00 2001
From: Florent Pruvost <florent.pruvost@inria.fr>
Date: Wed, 19 Mar 2025 11:25:21 +0100
Subject: [PATCH] gitlab-ci: some build jobs are far too long on small instance
 runners, restore using large instances for these build jobs

---
 .gitlab/build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab/build.yml b/.gitlab/build.yml
index b05f37476..f164d2dad 100644
--- a/.gitlab/build.yml
+++ b/.gitlab/build.yml
@@ -12,7 +12,7 @@
 
 .build_script_linux:
   extends: .build_script_common
-  tags: ['ci.inria.fr', 'linux']
+  tags: ['ci.inria.fr', 'linux', 'large']
   variables:
     GIT_CLONE_PATH: $CI_BUILDS_DIR/$CI_PROJECT_NAMESPACE/$CI_PROJECT_NAME
     SYSTEM: linux
-- 
GitLab