diff options
Diffstat (limited to 'crates/atuin-ai/src/fsm/events.rs')
| -rw-r--r-- | crates/atuin-ai/src/fsm/events.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/crates/atuin-ai/src/fsm/events.rs b/crates/atuin-ai/src/fsm/events.rs index 62a624bf..6fecda08 100644 --- a/crates/atuin-ai/src/fsm/events.rs +++ b/crates/atuin-ai/src/fsm/events.rs @@ -80,6 +80,8 @@ pub(crate) enum Event { // ─── Timers ───────────────────────────────────────────────── /// Confirmation timeout expired. ConfirmationTimeout { timeout_id: u64 }, + /// Shell tool execution timeout expired. + ToolExecutionTimeout { timeout_id: u64, tool_id: String }, // ─── Session management ───────────────────────────────────── /// User ran /new to start a fresh session. |