Skip to content

Use the specified JSON options when adding tools - #149

Merged
kzu merged 1 commit into
mainfrom
dev/JsonOptions
Nov 5, 2025
Merged

Use the specified JSON options when adding tools#149
kzu merged 1 commit into
mainfrom
dev/JsonOptions

Conversation

@kzu

@kzukzu commented Nov 5, 2025

Copy link
Copy Markdown
Member

No description provided.

@kzukzu added the bug Something isn't working label Nov 5, 2025
@kzu
kzu enabled auto-merge (rebase) November 5, 2025 13:21
@kzu

kzu commented Nov 5, 2025

Copy link
Copy Markdown
MemberAuthor

37 passed37 passed18 skipped

🧪 Details on Ubuntu 24.04.3 LTS

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

@kzu
kzu merged commit ac4e858 into mainNov 5, 2025
7 checks passed
@kzu
kzu deleted the dev/JsonOptions branch November 5, 2025 16:31
@devloopeddevlooped locked and limited conversation to collaborators Dec 6, 2025
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

bugSomething isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

@kzu