From 6fcea7f0aecc4f573950145daec3837d813d8e19 Mon Sep 17 00:00:00 2001 From: Andrea Dell'Amico Date: Mon, 10 Apr 2023 13:53:08 +0200 Subject: [PATCH] Fix the repository name in the jenkinsfile. --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 7e06ce9..beee24d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -11,7 +11,7 @@ pipeline { imagename = "d4science/r-full" //TO FILL WITH THE RIGHT VALUE (RepositoryName) e.g. d4science/RepositoryName registryCredential = 'e348bfab-5580-4db6-b0e0-d854966bde08' dockerImage = '' - git_url='https://code-repo.d4science.org/gCubeSystem/r-full-4.2.git' // SET HERE THE URL OF YOUR NEW GIT PROJECT + git_url='https://code-repo.d4science.org/gCubeSystem/r-full.git' // SET HERE THE URL OF YOUR NEW GIT PROJECT } stages { stage('Cloning Git') {