chacha/pygitversionhelper
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases 132 Wiki Activity

update jenkinsFile #2

Merged
chacha merged 1 commits from dev into master 2023-03-19 11:29:50 +01:00
Conversation 0 Commits 1 Files Changed 1 +2 -1
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
Jenkinsfile vendored
View File

@@ -148,7 +148,8 @@ pipeline {
{
if(sh(returnStdout: true, script: "git tag --points-at HEAD").trim().isEmpty())
{
error("master push/merge must have an explicit tag release number")
currentBuild.getRawBuild().getExecutor().doStop()
//error("master push/merge must have an explicit tag release number")
}
}