Created the requested GitHub issue and included a quick proposal.
• Issue: https://github.com/OpenHands/automation/issues/154
• Scope covered:
◦ API endpoint for cancelling automation runs
◦ Run state handling and race/conflict behavior
◦ UI affordance for cancelling eligible runs
◦ Acceptance criteria for pending, running, terminal-state, and cleanup behavior
• No code changes were made.