diff --git a/Jenkinsfile b/Jenkinsfile index e379513..33f7e67 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -65,12 +65,14 @@ pipeline { stage('Push to Docker Hub') { steps { - script { - def fullImageName = "${DOCKER_HUB_USERNAME}/${IMAGE_NAME}" - sh "docker push ${fullImageName}:${IMAGE_TAG}" - - if (SECONDARY_TAG) { - sh "docker push ${fullImageName}:${SECONDARY_TAG}" + retry(3) { + script { + def fullImageName = "${DOCKER_HUB_USERNAME}/${IMAGE_NAME}" + sh "docker push ${fullImageName}:${IMAGE_TAG}" + + if (SECONDARY_TAG) { + sh "docker push ${fullImageName}:${SECONDARY_TAG}" + } } } } diff --git a/src/__init__.py b/src/__init__.py index e69de29..8b13789 100644 --- a/src/__init__.py +++ b/src/__init__.py @@ -0,0 +1 @@ +