From 4e096de6c931740c1130ddc6305df3f963af2949 Mon Sep 17 00:00:00 2001
From: Martin Tahiraj <Martin.Tahiraj@it.ey.com>
Date: Thu, 2 Apr 2026 14:52:04 +0200
Subject: [PATCH] fix(ci): use correct registry credential ID 'REGISTRY'

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
---
 ci/Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index c2a497f..48941e6 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -31,7 +31,7 @@
  *  Credenziali Jenkins richieste
  *  ------------------------------
  *  GIT_TOKEN             Username/Password — token Gitea (checkout + push)
- *  registry-credentials  Username/Password — Docker registry
+ *  REGISTRY               Username/Password — Docker registry
  *
  * ============================================================================
  */
@@ -255,7 +255,7 @@ pipeline {
                     // Login al registry dentro withCredentials — non fallisce il
                     // pipeline se la credenziale non esiste ancora (gestisce errore)
                     withCredentials([usernamePassword(
-                        credentialsId:    'registry-credentials',
+                        credentialsId:    'REGISTRY',
                         usernameVariable: 'REGISTRY_USR',
                         passwordVariable: 'REGISTRY_PSW'
                     )]) {