chore: generate
This commit is contained in:
parent
f38f415bf0
commit
2868000c20
1 changed files with 1 additions and 3 deletions
|
|
@ -63,9 +63,7 @@ export const TaskTool = Tool.define(
|
|||
|
||||
const taskID = params.task_id
|
||||
const session = taskID
|
||||
? yield* sessions.get(SessionID.make(taskID)).pipe(
|
||||
Effect.catchCause(() => Effect.succeed(undefined)),
|
||||
)
|
||||
? yield* sessions.get(SessionID.make(taskID)).pipe(Effect.catchCause(() => Effect.succeed(undefined)))
|
||||
: undefined
|
||||
const nextSession =
|
||||
session ??
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue