workspace: delete workers through runtime

2026-07-12 09:06:59 +09:00
parent d8c0853d55
commit 3009bb4ad9
12 changed files with 489 additions and 112 deletions
@@ -42,6 +42,7 @@ pub enum RuntimeEventKind {
    WorkerInputAccepted,
    WorkerStopped,
    WorkerCancelled,
+    WorkerDeleted,
 }

 #[derive(Clone, Debug, PartialEq, Eq, Serialize, Deserialize)]