Skip to content

Handle keyboard interrupts with serial jobrunner SO--#375

Merged
dormrod merged 1 commit intofix2026from
DavidOrmrodMorley/sigint-fixes
Mar 12, 2026
Merged

Handle keyboard interrupts with serial jobrunner SO--#375
dormrod merged 1 commit intofix2026from
DavidOrmrodMorley/sigint-fixes

Commits

Commits on Mar 12, 2026