diff --git a/Jenkinsfile.pr b/Jenkinsfile.pr index 092467f38..b638954dc 100644 --- a/Jenkinsfile.pr +++ b/Jenkinsfile.pr @@ -10,15 +10,6 @@ pipeline { stages { - stage('Notify GitHub Pending') { - steps { - setGitHubPullRequestStatus( - context: 'Jenkins CI', - state: 'PENDING' - ) - } - } - stage('List Workspace') { steps { sh 'ls -l' @@ -53,19 +44,4 @@ pipeline { } } } - - post { - success { - setGitHubPullRequestStatus( - context: 'Jenkins CI', - state: 'SUCCESS' - ) - } - failure { - setGitHubPullRequestStatus( - context: 'Jenkins CI', - state: 'FAILURE' - ) - } - } }