Merge 9805ef6 into 3217df7

apache · Aug 8, 2019 · d5fc104 · d5fc104
2 parents 3217df7 + 9805ef6
commit d5fc104
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/jenkinsfile b/jenkinsfile
@@ -21,6 +21,9 @@ pipeline {
     agent  {
         label 'xenial'
     }
+    environment {
+        CI_PULL_REQUEST = '$ghprbPullId'
+    }
     options {
         buildDiscarder(logRotator(
             numToKeepStr: '60',