diff --git a/Jenkinsfile.pr b/Jenkinsfile.pr
index 625d2cc04..c0913c4e2 100644
--- a/Jenkinsfile.pr
+++ b/Jenkinsfile.pr
@@ -12,13 +12,10 @@ pipeline {
 
         stage('Notify GitHub Pending') {
             steps {
-                githubNotify context: 'Jenkins CI', status: 'PENDING'
-            }
-        }
-
-        stage('List Workspace') {
-            steps {
-                sh 'ls -l'
+                setGitHubPullRequestStatus(
+                    context: 'Jenkins CI',
+                    status: 'PENDING'
+                )
             }
         }
 
@@ -53,10 +50,16 @@ pipeline {
 
     post {
         success {
-            githubNotify context: 'Jenkins CI', status: 'SUCCESS'
+            setGitHubPullRequestStatus(
+                context: 'Jenkins CI',
+                status: 'SUCCESS'
+            )
         }
         failure {
-            githubNotify context: 'Jenkins CI', status: 'FAILURE'
+            setGitHubPullRequestStatus(
+                context: 'Jenkins CI',
+                status: 'FAILURE'
+            )
         }
     }
 }