OpenAPI 3.1.0raw.githubusercontent.com2026-08-16234465.0 KB

c47be4a3f07e

runs

Request Run Cancellation

Request cancellation for a run.

Parameters: run_id (UUID): The identifier of the run to cancel. identity (LocalScopeDep): The authenticated user's workspace scope. lifecycle (RunLifecycleDep): The run lifecycle service.

Returns: CancellationResponse: The run identifier and resulting cancellation state.

put/api/runs/{run_id}/cancellation

Path parameters

run_idstring uuid required

Response

Successful Response

run_idstring uuid required
state'requested' | 'already_requested' | 'already_terminal' required