From 29e9849954af12381507a1ed7ea68d8391cf7e00 Mon Sep 17 00:00:00 2001 From: Mihai Georgescu Date: Wed, 29 Nov 2023 14:06:45 +0200 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index f08ff7f3c..9b32a7ef0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -124,6 +124,7 @@ pipeline { expression { return env.CHANGE_ID != null } + } steps { echo "now we will push the image to the docker main repository" script { @@ -138,4 +139,4 @@ pipeline { } } } -} +