From a33937e7a61db69725de3fae4f34b9fc962a00b6 Mon Sep 17 00:00:00 2001
From: Andrea Dell'Amico <andrea.dellamico@isti.cnr.it>
Date: Tue, 16 Apr 2024 18:49:02 +0200
Subject: [PATCH] Fix the container registry URL.

---
 Jenkinsfile-wb3-ecosystem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile-wb3-ecosystem b/Jenkinsfile-wb3-ecosystem
index 4cc1578..57e78b4 100644
--- a/Jenkinsfile-wb3-ecosystem
+++ b/Jenkinsfile-wb3-ecosystem
@@ -31,7 +31,7 @@ pipeline {
     stage('Deploy Image') {
       steps{
         script {
-          docker.withRegistry( 'https://hub.d4science.org', registryCredential ) {
+          docker.withRegistry( 'https://hub.dev.d4science.org', registryCredential ) {
             dockerImage.push("$BUILD_NUMBER")
             dockerImage.push('wb3-ecosystem')
           }