Update coverage CI (#6099)

Ignore errors withing `gcov` when using `gcovr`, as per gcovr/gcovr#627. Co-authored-by: Andrei Lascu <[email protected]>
Z3Prover · Jun 20, 2022 · 940d10a · 940d10a
1 parent 2fa60aa
commit 940d10a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -76,14 +76,14 @@ jobs:
     - name: Gather coverage
       run: |
         cd ${{github.workspace}}
-        gcovr --html coverage.html --gcov-executable "llvm-cov gcov" .
+        gcovr --html coverage.html --gcov-ignore-parse-errors --gcov-executable "llvm-cov gcov" .
         cd -
 
     - name: Gather detailed coverage
       run: |
         cd ${{github.workspace}}
         mkdir cov-details
-        gcovr --html-details ${{env.COV_DETAILS_PATH}}/coverage.html --gcov-executable "llvm-cov gcov" -r `pwd`/src --object-directory `pwd`/build
+        gcovr --html-details ${{env.COV_DETAILS_PATH}}/coverage.html --gcov-ignore-parse-errors --gcov-executable "llvm-cov gcov" -r `pwd`/src --object-directory `pwd`/build
         cd -
 
     - name: Get date