build: test and check targets both generate coverage info#61
Merged
jaqx0r merged 1 commit intomainfrom test-coverageAug 18, 2023
+6-7
test and check targets both generate coverage info#61