diff --git a/.jenkins/Jenkinsfile b/.jenkins/Jenkinsfile index ffe3dccf..010086d3 100644 --- a/.jenkins/Jenkinsfile +++ b/.jenkins/Jenkinsfile @@ -4,7 +4,7 @@ pipeline { // This file is required to sign the binaries for Windows and MacOs, see https://wiki.eclipse.org/IT_Infrastructure_Doc#Sign_my_Jar.2Fplugins.2FWindows_exe.2FmacOS_App_files.3F environment { - GITHUB_TOKEN = credentials('github-bot') + GITHUB_TOKEN = credentials('github-bot-token') } stages { @@ -37,6 +37,7 @@ pipeline { -H "Authorization: Bearer " \\ -H "X-GitHub-Api-Version: 2022-11-28" \\ https://api.github.com/repos/${repo}/releases/tags/${tagName} + """ def releaseId = sh(script: """ curl -s -L \\