ci: updating GH token

nemerosa · Mar 10, 2024 · 1b2de31 · 1b2de31
1 parent ec7d8ee
commit 1b2de31
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -58,12 +58,12 @@ pipeline {
                 branch 'release/*'
             }
             environment {
-                GITHUB = credentials('JENKINS_GITHUB_TOKEN')
+                GITHUB = credentials('github-token')
             }
             steps {
                 sh '''
                 ./gradlew githubRelease --stacktrace --console plain \\
-                  -PgitHubToken=${github-token} \\
+                  -PgitHubToken=${GITHUB} \\
                   -PgitHubCommit=${GIT_COMMIT}
                 '''
             }