From b997ef8545d2a32000a39a1817549300b504adda Mon Sep 17 00:00:00 2001 From: Endolf Date: Fri, 25 May 2018 20:13:22 +0100 Subject: [PATCH] Milestone needs () --- Jenkinsfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index a37b5ae..3ef7d81 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -87,7 +87,7 @@ pipeline { } when { branch 'master' } steps { - milestone + milestone() unstash 'windows-natives' unstash 'osx-natives' unstash 'linux-natives' @@ -108,7 +108,7 @@ pipeline { label "linux" } steps { - milestone + milestone() timeout(time:5, unit:'MINUTES') { input { message: "Do you wish to release?" @@ -119,7 +119,7 @@ pipeline { ok: "Release" } } - milestone + milestone() unstash 'windows-natives' unstash 'osx-natives' unstash 'linux-natives'