github_get_pr_status
Retrieve the status and check runs for a GitHub pull request by specifying the repository owner, name, and PR number.
Instructions
Get the status and check runs for a pull request
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| pr_number | Yes | ||
| repo_name | Yes | ||
| repo_owner | Yes |