Skip to content

fix(runtime): allow dismissing terminated runtime cards - #1115

Merged
xuzhougeng merged 2 commits into
mainfrom
fix/1106-dismiss-dead-runtimes
Sep 5, 2026
Merged

fix(runtime): allow dismissing terminated runtime cards#1115
xuzhougeng merged 2 commits into
mainfrom
fix/1106-dismiss-dead-runtimes

Conversation

@xuzhougeng

@xuzhougeng xuzhougeng commented Sep 5, 2026

Copy link
Copy Markdown
Owner

Failed interactive runtimes left permanent dead cards with only Configure/Restart actions. Add Dismiss for terminated cards, removing the exact runtime ID without starting another interpreter. Live instances are rejected, window scope is checked, and generation counters survive dismissal. Existing WSL worker-stdin deployment fixes are already on main; this PR adds the missing recovery UI.

Closes #1106.

Changes: RuntimeManager::dismiss_dead, one Tauri command, bilingual runtime-card action, runtime documentation, mock bridge and regression tests. No schema changes.

Validation: formatting/diff checks, exact-instance/generation manager test, wasm check and new Playwright dismissal test passed. Full workspace unit/integration tests passed; a doctest build initially hit mixed artifacts from shared worktree build caches, then the full workspace doctest pass succeeded after cleaning generated wisp crate artifacts. Full Playwright: 492 passed, 2 skipped, one unrelated Run-output follow test failed its timing assertion and passed on an isolated rerun.

Manual smoke: on Windows with WSL create a failed Python/R runtime, dismiss it, and confirm the stale record disappears without deployment or restart. The current project's configured slot remains Not started. Ensure live/sibling runtimes and project files remain intact. With an updated build, verify the existing WSL deployment fix succeeds.

Limitations/follow-up: no installer release is performed. v1.8.1 users need a newer build for both fixes. Real WSL deployment remains a platform smoke check.

@xuzhougeng
xuzhougeng merged commit 71ba647 into main Sep 5, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Bug]: v1.8.1 WSL 交互运行时 worker 部署失败后无法删除已终止会话(#1081 仍复现,v1.8.2 未发布)

1 participant