Skip to content

Conversation

ArthurKnaus
Copy link
Member

@ArthurKnaus ArthurKnaus commented Oct 15, 2025

Format available tools nicely and highlight used ones.

Screen.Recording.2025-10-15.at.12.55.17.mov

@ArthurKnaus ArthurKnaus requested review from a team as code owners October 15, 2025 11:02
Copy link

linear bot commented Oct 15, 2025

@github-actions github-actions bot added the Scope: Frontend Automatically applied to PRs that change frontend components label Oct 15, 2025
cursor[bot]

This comment was marked as outdated.

@ArthurKnaus ArthurKnaus merged commit 1d5d202 into master Oct 15, 2025
47 checks passed
@ArthurKnaus ArthurKnaus deleted the arthurknaus/tet-1271-query-for-children-tool-execution-spans-to-display-executed branch October 15, 2025 12:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Scope: Frontend Automatically applied to PRs that change frontend components

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants