cancel_workflow_run
Stop a GitHub Actions workflow run by specifying the repository owner, name, and workflow run ID to manage and monitor workflows effectively.
Instructions
Cancel a workflow run
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | Repository owner | |
| repo | Yes | Repository name | |
| runId | Yes | The ID of the workflow run |
Input Schema (JSON Schema)
{
"properties": {
"owner": {
"description": "Repository owner",
"type": "string"
},
"repo": {
"description": "Repository name",
"type": "string"
},
"runId": {
"description": "The ID of the workflow run",
"type": "number"
}
},
"required": [
"owner",
"repo",
"runId"
],
"type": "object"
}