Skip to content

Conversation

@jiachengxu
Copy link
Member

Fixes #27 by explicitly mentioning the search parameter doesn't support glob expression in the prompt
Fixes #29 by making server and name optional and adding validation in zod

})
.refine(
data =>
(data.server === undefined && data.name !== undefined) ||
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Will (!data.server && !!data.name) || (!!data.server && !data.name) be better in this case?

@jiachengxu jiachengxu merged commit 891f857 into main May 7, 2025
2 checks passed
@jiachengxu jiachengxu deleted the fix-27-29 branch May 7, 2025 07:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Model attempts to supply both name and server List applications sometimes does not work

3 participants