Skip to content

chore: rename tool span tag to tool_name #2901

chore: rename tool span tag to tool_name

chore: rename tool span tag to tool_name #2901

Triggered via pull request December 12, 2025 09:13
Status Cancelled
Total duration 1s
Artifacts
Check pull request labels
Check pull request labels
Fit to window
Zoom out
Zoom in

Annotations

1 error
Validate PR Label Format
Canceling since a higher priority waiting request for Validate PR Label Format-refs/pull/10179/merge exists