diff --git a/Jenkinsfile b/Jenkinsfile index a3d4ffe..776494d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -2,7 +2,22 @@ pipeline { agent any stages { + stage('Tag git commit') { + steps { + script { + sshagent(['jenkins']) { + sh """ + git config user.email "jenkins" + git config user.name "jenkins@dinauer-paf.de" + git tag -a build-${env.BUILD_NUMBER} -m "Jenkins Build ${env.BUILD_NUMBER}" + + git push origin build-${env.BUILD_NUMBER} + """ + } + } + } + } stage('Set Image Name') { steps { script {