Flight Log / marimo-team/marimo #3702
feat: raise KeyboardInterrupt on double interrupt — a Devin (Cognition) bot flight
The Devin bot (Cognition) opened this pull request in marimo-team/marimo on Feb 5, 2025; a burn — closed unmerged after human review: +259 −38, 3 files, 0 reviews.
Flown by
- Lines
- +259 −38
- Files
- 3
- Commits
- 6
- Reviews
- 0
- To merge
- —
- Task
- feat
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
Devin opened a feature PR on marimo-team/marimo to raise KeyboardInterrupt on a second interrupt. The change touched three files, with 259 additions and 38 deletions across six commits. It drew zero reviews and zero change requests. A human reviewer closed it unmerged, pointing to a separate pull request. Outcome: burn.
“Closing in favor of #3703”
— from the review (source)
From the pull request description
Fixes #3494 If a program doesn't stop after an initial interrupt request, pressing interrupt again within 30 seconds will raise a KeyboardInterrupt. Changes: - Added last_interrupt_time tracking to Session class - Modified interrupt_kernel to check for double-interrupt within 30s window - Added su…
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request on GitHub →
This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.
Flight timeline
- —committedDevin AI
- —committedpre-commit-ci[bot]
- —committedDevin AI
- —committedDevin AI
- —committedDevin AI
- —committedDevin AI
- Feb 5, 2025closedakshayka
Read next
Cite this flight: AgentRiders Flight Log, marimo-team/marimo#3702, record updated Nov 4, 2026, https://agentriders.com/logs/marimo-team/marimo/3702/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.