No record for org.jenkins-ci.plugins:github-pr-coverage-status

We hold nothing for this package in maven, or the service is briefly unavailable. Try another package below.