diff --git a/ci/Jenkinsfile_utils.groovy b/ci/Jenkinsfile_utils.groovy
index f82c238ed07..0ab9cea4aa0 100644
--- a/ci/Jenkinsfile_utils.groovy
+++ b/ci/Jenkinsfile_utils.groovy
@@ -173,9 +173,17 @@ def update_github_commit_status(state, message) {
//properly and you would see an empty list of repos:
//[Set GitHub commit status (universal)] PENDING on repos [] (sha:xxxxxxx)
with context:test/mycontext
//See
https://cwiki.apache.org/confluence/display/MXNET/Troubleshooting#Troubleshooting-GitHubcommit/PRstatusdoesnotgetpublished
+
+ echo "Publishing commit status..."
+
repoUrl = get_repo_url()
+ echo "repoUrl=${repoUrl}"
+
commitSha = get_git_commit_hash()
+ echo "commitSha=${commitSha}"
+
context = get_github_context()
+ echo "context=${context}"
step([
$class: 'GitHubCommitStatusSetter',
@@ -189,6 +197,9 @@ def update_github_commit_status(state, message) {
results: [[$class: "AnyBuildResult", message: message, state: state]]
]
])
+
+ echo "Publishing commit status done."
+
}
}
With regards,
Apache Git Services
