Skip to content

chore: metrics tool call#8975

Merged
jif-oai merged 2 commits intomainfrom
jif/metric-tool-call
Jan 9, 2026
Merged

chore: metrics tool call#8975
jif-oai merged 2 commits intomainfrom
jif/metric-tool-call

Conversation

@jif-oai
Copy link
Collaborator

@jif-oai jif-oai commented Jan 9, 2026

No description provided.

@jif-oai jif-oai enabled auto-merge (squash) January 9, 2026 13:14
@jif-oai jif-oai merged commit 7e5b3e0 into main Jan 9, 2026
26 checks passed
@jif-oai jif-oai deleted the jif/metric-tool-call branch January 9, 2026 13:28
@github-actions github-actions bot locked and limited conversation to collaborators Jan 9, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants