diff --git a/Jenkinsfile b/Jenkinsfile index 0771fde..3a99265 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -47,6 +47,7 @@ pipeline { } } stage("Tag and Push") { + agent any steps { sh 'git push --tags' }