ci: extend coverage test with retest+select
original patch from Sebastian
@@ -38,7 +38,9 @@ jobs:
cd ..
cmake -S rem -B rem/build && cmake --build rem/build
cd retest; cmake -B build -DCMAKE_EXE_LINKER_FLAGS="--coverage" && \
- cmake --build build -j && ./build/retest -v -a
+ cmake --build build -j && \
+ ./build/retest -a -v && \
+ ./build/retest -r -m select -v
- name: gcov
run: |
