Update Jenkinsfile to use correct credentials ID for GITHUB_TOKEN

fernandomatsuosantos · fernandomatsuosantos · commit 4c2391418cd8 · 2025-07-24T19:57:22.000-03:00
diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile
@@ -2,7 +2,7 @@ pipeline {
     agent any
     
     environment {
-        GITHUB_TOKEN = credentials('codeql-wrapper-token')
+        GITHUB_TOKEN = credentials('PAT')
     }
     
     stages {

Original file line number	Diff line number	Diff line change
`@@ -2,7 +2,7 @@ pipeline {`
`2`	`2`	`agent any`
`3`	`3`
`4`	`4`	`environment {`
`5`		`- GITHUB_TOKEN = credentials('codeql-wrapper-token')`
	`5`	`+ GITHUB_TOKEN = credentials('PAT')`
`6`	`6`	`}`
`7`	`7`
`8`	`8`	`stages {`