Potential fix for pull request finding

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
This commit is contained in:
Harshit Singh Bhandari 2026-04-15 13:50:09 +05:30 committed by GitHub
parent 81d88c4412
commit bfe85876e4
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions

View File

@ -220,6 +220,7 @@ export function isTerminalSession(session: {
return (
session.lifecycle.session.state === "done" ||
session.lifecycle.session.state === "terminated" ||
session.lifecycle.pr.state === "merged" ||
session.lifecycle.runtime.state === "missing" ||
session.lifecycle.runtime.state === "exited"
);