diff --git a/Jenkinsfile b/Jenkinsfile index 30931e8..358f501 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -53,7 +53,7 @@ pipeline { sshagent (credentials: ['jenkins-generated-ssh-key']) { sh 'git push --tags' } - + } } } }