Change the release stage name

This commit is contained in:
Endolf 2018-05-25 21:00:38 +01:00
parent a4c7d312d2
commit 6150206edb

2
Jenkinsfile vendored
View file

@ -105,7 +105,7 @@ pipeline {
}
}
}
stage('Perform release') {
stage('Release') {
agent {
label "linux"
}