diff --git a/Jenkinsfile.pr b/Jenkinsfile.pr index b372541ad..547788dca 100644 --- a/Jenkinsfile.pr +++ b/Jenkinsfile.pr @@ -15,6 +15,14 @@ pipeline { stages { + stage('Notify GitHub Pending') { + steps { + script { + githubNotify context: 'Jenkins CI', status: 'PENDING' + } + } + } + stage('List Workspace') { steps { sh 'ls -l' @@ -68,4 +76,17 @@ pipeline { } } } + + post { + success { + script { + githubNotify context: 'Jenkins CI', status: 'SUCCESS' + } + } + failure { + script { + githubNotify context: 'Jenkins CI', status: 'FAILURE' + } + } + } }