Skip to content

Document Grok agentic tools usage - #177

Merged
kzu merged 1 commit into
mainfrom
devs/agentic
Dec 6, 2025
Merged

Document Grok agentic tools usage#177
kzu merged 1 commit into
mainfrom
devs/agentic

Conversation

@kzu

@kzukzu commented Dec 6, 2025

Copy link
Copy Markdown
Member

Document Grok agentic tools usage

@kzukzu added the documentation Improvements or additions to documentation label Dec 6, 2025
@kzu
kzu enabled auto-merge (rebase) December 6, 2025 05:11
@kzu

kzu commented Dec 6, 2025

Copy link
Copy Markdown
MemberAuthor

36 passed36 passed24 skipped

🧪 Details on Ubuntu 24.04.3 LTS

from dotnet-retest v1.0.0 on .NET 10.0.0 with 💜 by @devlooped

@kzu
kzu merged commit 62491b0 into mainDec 6, 2025
4 checks passed
@kzu
kzu deleted the devs/agentic branch December 6, 2025 05:13
@devloopeddevlooped locked and limited conversation to collaborators Jan 6, 2026
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

documentationImprovements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

@kzu