diff --git a/Jenkinsfile b/Jenkinsfile index d2b775d..ef10b09 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -87,6 +87,7 @@ pipeline { } when { branch 'master' } steps { + milestone unstash 'windows-natives' unstash 'osx-natives' unstash 'linux-natives' @@ -102,23 +103,24 @@ pipeline { } } } + } + timeout(time:5, unit:'DAYS') { + input { + message: "Do you wish to release?" + ok: "Release" + } + input { + message: "Are you sure, this cannot be undone?" + ok: "Release" + } + } + stages{ stage('Release') { - timeout(time:5, unit:'DAYS') { - milestone() - input { - message: "Do you wish to release?" - ok: "Release" - } - input { - message: "Are you sure, this cannot be undone?" - ok: "Release" - } - milestone() - } agent { label "linux" } steps { + milestone unstash 'windows-natives' unstash 'osx-natives' unstash 'linux-natives'