Fix default test selection in the absence of`--match-test`#383

Merged

rv-jenkins merged 14 commits intomasterfrom fix-default-tests

Feb 22, 2024

+6-5

Commits on Feb 20, 2024

Select all tests starting with prove, check, and test by default
palinatolmach
committed