create & upload a tag before creating release

ganthern · ganthern · commit de111fb83474 · 2022-08-01T11:02:47.000+02:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -49,6 +49,9 @@ pipeline {
 
 			steps {
 				unstash 'dll'
+				pwsh 'git tag $Env:RELEASE_TAG'
+				pwsh 'git push --tags'
+				sleep(10)
                 pwsh '''
                     echo $Env:RELEASE_TAG
 
