diff --git a/ci-scripts/Jenkinsfile-GitLab-Container b/ci-scripts/Jenkinsfile-GitLab-Container index c3f3037c78..44d857f1dc 100644 --- a/ci-scripts/Jenkinsfile-GitLab-Container +++ b/ci-scripts/Jenkinsfile-GitLab-Container @@ -35,7 +35,7 @@ def gitCommitAuthorEmailAddr // list of failing stages def failingStages = "" -def OAI_Registry = "gracehopper3-oai.sboai.cs.eurecom.fr" +OAI_Registry = "gracehopper3-oai.sboai.cs.eurecom.fr" pipeline { agent {