Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

todo_widget: Add `type`` as Optional in `new_task_inbound_data_schema`. 

This commit corrects the `type` parameter in
`new_task_inbound_data_schema`, which was previously optional
but not added as such.
This commit is contained in:
sujal shah 2024-09-18 07:10:27 +05:30 committed by Tim Abbott
parent 2e394f3913
commit fcbb1cd558
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
web/src/todo_widget.ts
View File

@ -31,7 +31,7 @@ const todo_widget_inbound_data = z.intersection(
);
const new_task_inbound_data_schema = z.object({
type: z.literal("new_task"),
type: z.literal("new_task").optional(),
key: z.number().int().nonnegative().max(MAX_IDX),
task: z.string(),
desc: z.string(),