rerun_workflow
Re-run a GitHub Actions workflow by specifying the repository owner, name, and workflow run ID, enabling quick retries and error resolution.
Instructions
Re-run a workflow run
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | Repository owner | |
| repo | Yes | Repository name | |
| runId | Yes | The ID of the workflow run |
Implementation Reference
- Input schema definition for the 'rerun_workflow' tool.{ name: "rerun_workflow", description: "Re-run a workflow run", inputSchema: { type: "object", properties: { owner: { type: "string", description: "Repository owner" }, repo: { type: "string", description: "Repository name" }, runId: { type: "number", description: "The ID of the workflow run" } }, required: ["owner", "repo", "runId"] } }
- src/tools/index.ts:24-24 (registration)Maps the 'rerun_workflow' tool name to its handler function in the toolHandlers export.rerun_workflow: handleRerunWorkflow,
- src/tools/index.ts:12-12 (registration)Import statement for the 'rerun_workflow' handler function.import handleRerunWorkflow from './rerun-workflow.js';