-
Notifications
You must be signed in to change notification settings - Fork 7.6k
feat: collab wait multiple IDs #9294
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
|
@codex review |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 37d24c5398
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
| let receiver_thread_ids = end_event.statuses.keys().map(ToString::to_string).collect(); | ||
| let agents_states = end_event |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Preserve waited-on IDs in wait completion
Here receiver_thread_ids is derived only from end_event.statuses keys, but the wait handler sends an empty statuses map when no agent reaches a final state before timeout. In that case the completed item will show an empty receiver list even though the call targeted specific agents, and clients treating item/completed as authoritative lose the ability to display which agents were waited on. Consider carrying the original receiver_thread_ids through the end event (or merging with the started item) so timeouts and partial completions still include the full target list.
Useful? React with 👍 / 👎.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Nope
No description provided.