(BIN) github-pr-coverage-status.hpi