shipper_get_pr_checks
shipper_get_pr_checks
Section titled “shipper_get_pr_checks”Get the CI check status for a pull request: counts and details for failed/pending checks.
When to use
Section titled “When to use”Use this after a PR exists and before merge or remediation decisions, especially when an agent needs the failing or pending check names.
Behavior hints
Section titled “Behavior hints”- readOnlyHint: true — The tool only reads state and does not intentionally modify the repository.
- openWorldHint: true — The tool reaches GitHub or other external systems outside the MCP server.
Input schema
Section titled “Input schema”| Name | Type | Required | Default | Description |
|---|---|---|---|---|
| pr | integer | yes | - | GitHub pull request number. |
Example call
Section titled “Example call”{ "pr": 17}Example result
Section titled “Example result”Checks for owner/repo#17: 2 passed, 1 pending, 0 failed (total: 3)
Pending: - checkError modes
Section titled “Error modes”- GitHub command failure: Command failed: gh