BIN github-pr-coverage-status.hpi