(#28) Ensure sigterm is handled by coverage#63

Merged

imranariffin merged 1 commit intomainfrom 28/fix-coverage-not-covering-sub-process

Jul 22, 2023

+2-1

Commits on Jul 22, 2023

(#28 ) Ensure sigterm is handled by coverage
imranariffin
committed