github_cancel_workflow_run
Cancel an in-progress GitHub Actions workflow run by providing the repository owner, repository name, and run ID, stopping it immediately to prevent wasted resources and further execution.
Instructions
Cancel a workflow run that is in progress.
Args: owner: Repository owner repo: Repository name run_id: Workflow run ID to cancel session_name: GitHub session to use
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| owner | Yes | ||
| run_id | Yes | ||
| session_name | No | default |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |