SemanticDiff EveryVoice
fix: handle ctrl-c in a consistent way, always aborting
#107
Merged

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

joanise merged 3 commits into main from dev.ctrl-c-is-abort
joanise
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 fix: handle ctrl-c in a consistent way, always aborting
2738c4af
joanise joanise force pushed from 090fdbb9 to 2738c4af 1 year ago
roedoejet
roedoejet approved these changes on 2023-09-22
joanise fix: the wizard should print rather than log messages
35ea1419
joanise test: adjust test suites for printing rather than logging wizard mess…
014ff4e2
joanise joanise merged abbd2e7d into main 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