Skip to content

fix(runtime): avoid false on_user_input notifications - #4010

Merged
aheritier merged 1 commit into
mainfrom
fix/4004-on-user-input-notifications
Aug 21, 2026
Merged

fix(runtime): avoid false on_user_input notifications#4010
aheritier merged 1 commit into
mainfrom
fix/4004-on-user-input-notifications

fix(runtime): notify only for genuine user input waits

6d5ad03
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar