check_pr_status
Check combined CI status for a pull request's head commit via GitHub Checks API. Returns pending, success, or failure, or ERROR: if retrieval fails.
Instructions
Get the combined CI status for a pull request's head commit, from GitHub's Checks API. Returns exactly one of "pending" (no checks yet, or some still running), "success" (all checks completed without failure), or "failure" (at least one check reported a non-success conclusion: failed, cancelled, timed out, required action, or failed to start) -- or a string starting "ERROR:" if the status can't be retrieved (never raises).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| pr_number | Yes | The pull request number to check. |