From f950ba2e8bdeefe40c26b6a24e42bbefa4db867c Mon Sep 17 00:00:00 2001
From: Lucas Nussbaum <lucas.nussbaum@inria.fr>
Date: Fri, 10 Jan 2025 13:18:05 +0100
Subject: [PATCH] [ci] Improve name for the 'deploy' stage

---
 .gitlab-ci.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2436460bec9..c4151d5a673 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,7 +4,7 @@ stages:
   - lint
   - check
   - generate-access-history
-  - deploy
+  - resources-explorer
 
 include:
   - project: 'grid5000/grid5000-gitlab-templates'
@@ -86,7 +86,7 @@ deploy-to-api-servers:
     - /srv/ci-runner-scripts/bin/update-api-servers
 
 rebuild_resources_explorer:
-  stage: deploy
+  stage: resources-explorer
   # NOTE: this job triggers a rebuild of resources explorer which will be
   # automatically deployed to production if it succeeds, therefore it is only
   # ran on the main branch.
@@ -100,7 +100,7 @@ rebuild_resources_explorer:
     strategy: depend
 
 preview_resources_explorer:
-  stage: deploy
+  stage: resources-explorer
   # NOTE: this job triggers a rebuild of resources explorer which will be
   # automatically deployed to a specific environment.
   # Resources Explorer build environments are available here:
-- 
GitLab