Delete a pipeline
delete_pipelineRemove a pipeline and all logs attached to it by specifying repository ID and pipeline number. Cancel running pipelines before deletion; confirmation token completes the two-step process.
Instructions
Removes a pipeline and everything attached to it, including its logs. A running pipeline cannot be deleted — cancel it first. Two-step.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| number | Yes | Pipeline number — the per-repository counter shown in the UI, not the global pipeline id. | |
| repo_id | Yes | Numeric repository id. lookup_repository turns an "owner/name" pair into one; list_repositories shows both. | |
| confirm_token | No | Token from a previous call of this tool. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| truncated | No | Present only when the answer was shortened to fit the budget. |