runtests.sh doesn't check/auto install when coverage
is missing
#5805
Labels
bug
Something isn't working
coverage
is missing
#5805
The text was updated successfully, but these errors were encountered: