Tool
Cancel workflow run
The Cancel Workflow Run tool provides developers with a seamless way to terminate ongoing GitHub Actions workflow runs directly within their repositories, enhancing control and efficiency in CI/CD pipelines.
Features
- Easily cancel any in-progress workflow run using the unique run identifier.
- Supports specifying the repository owner and name for precise targeting.
- Integrates smoothly with GitHub API for real-time workflow management.
- Simple input schema requiring minimal parameters: owner, repo, and run ID.
- Helps streamline continuous integration by halting unnecessary or erroneous workflow executions promptly.
Benefits
- Saves time and resources by stopping unwanted or stalled workflow runs.
- Enhances workflow and pipeline control for development teams.
- Reduces costs associated with running unnecessary workflows.
- Improves overall development efficiency and deployment speed.
- Provides an easy-to-use interface for managing GitHub workflow executions.
Description
Cancel a workflow run
Parameters
3 parameters
| Name | Type | Description |
|---|---|---|
| ownerrequired | string | Repository owner |
| reporequired | string | Repository name |
| run_idrequired | number | The unique identifier of the workflow run |