[workbench] Improve asynchronous tool use (#30184)

GitOrigin-RevId: d1bd33469b557c29968049af99b9c3c85731151d
This commit is contained in:
Alf Eaton
2025-12-10 09:06:43 +00:00
committed by Copybot
parent 851f0c92b1
commit b811da0695
13 changed files with 40 additions and 25 deletions
@@ -40,7 +40,10 @@ export const OnlineUsersRedesign = ({ users }: { users: number }) => {
padding: '20px',
}}
>
<OnlineUsersWidget onlineUsers={generatedUsers} goToUser={() => {}} />
<OnlineUsersWidget
onlineUsers={generatedUsers}
goToUser={(async () => {}) as any}
/>
</div>
)
}
@@ -54,7 +57,10 @@ export const OnlineUsersOld = ({ users }: { users: number }) => {
padding: '20px',
}}
>
<OnlineUsersWidgetOld onlineUsers={generatedUsers} goToUser={() => {}} />
<OnlineUsersWidgetOld
onlineUsers={generatedUsers}
goToUser={(async () => {}) as any}
/>
</div>
)
}