fix(app): Fix persistent "run in progress" settings banner after run cancel#17235

Merged

mjhuff merged 3 commits intochore_release-8.3.0from app_fix-persistent-settings-banner

Jan 10, 2025

+9-69

Commits on Jan 9, 2025

fix(app): fix persistent settings page "run in progress" banner after run cancel
mjhuff
committed
fix(app): simplify tip detection conditions post run
mjhuff
committed
fix(app): do not gate /runCommandErrors on the run being current
mjhuff
committed