Skip to content
Add milestone to pull requests

chore: rename tool span tag to tool_name #6522

Sign in to view logs

chore: rename tool span tag to tool_name

chore: rename tool span tag to tool_name #6522

Triggered via pull request December 15, 2025 09:23
@manuel-alvarez-alvarezmanuel-alvarez-alvarez
closed #10179
malvarez/ai-guard-rename-tool-tag
Status Success
Total duration 9s
Artifacts –

add-milestone-to-pull-requests.yaml

on: pull_request
Add milestone to merged pull requests
4s
Add milestone to merged pull requests
Fit to window
Zoom out
Zoom in