From eb2dfd509ab8ad1e73ffe6150c4b7edc1d05ea0f Mon Sep 17 00:00:00 2001
From: "Alfred E. Heggestad" <alfred.heggestad@gmail.com>
Date: Sat, 21 Jan 2023 10:40:25 +0100
Subject: [PATCH] ci: extend coverage test with retest+select (#652)

original patch from Sebastian
---
 .github/workflows/coverage.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index e82973115..d7b1a6553 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -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: |