EveryVoice
fix: handle ctrl-c in a consistent way, always aborting
#106
Closed

fix: handle ctrl-c in a consistent way, always aborting #106

joanise wants to merge 1 commit into main from dev.ctrl-c-is-abort
joanise
joanise fix: handle ctrl-c in a consistent way, always aborting
f9b25a11
joanise joanise requested a review from SamuelLarkin SamuelLarkin 1 year ago
joanise joanise requested a review from roedoejet roedoejet 1 year ago
joanise joanise requested a review from marctessier marctessier 1 year ago
codecov
joanise
joanise joanise closed this 1 year ago
joanise joanise deleted the dev.ctrl-c-is-abort branch 1 year ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone