From 6150206edba66d580cccfc6a7f3807f9e9d87515 Mon Sep 17 00:00:00 2001 From: Endolf Date: Fri, 25 May 2018 21:00:38 +0100 Subject: [PATCH] Change the release stage name --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index a8231cf..b4fcb31 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -105,7 +105,7 @@ pipeline { } } } - stage('Perform release') { + stage('Release') { agent { label "linux" }