[RM-9612] [CI] update the coverage section

Created on 2025-03-18 08:59:11 by Didier Vibert. % Done: 10

Since the modification of the build procedure (cf #9245 & #9364 #9376 #9389) some sections of the CI scripts are not up-to-date.

For instance the coverage build is currently:
<pre><code class="yaml">
.build-coverage-linux:
stage: build-coverage
script:

• source /venv/p39/bin/activate
• if [ "$ENABLE_GCC10" == "True" ]; then source /opt/rh/devtoolset-10/enable; fi
• mkdir -p build
• cd build
• cmake .. -DCMAKE_BUILD_TYPE=Debug -DCMAKE_PREFIX_PATH=/root/local -DCMAKE_CXX_FLAGS="-O0 -fprofile-arcs -ftest-coverage --coverage"
• make -j 12
• make test
• gcovr --filter=../RedshiftLibrary/src/lib/ --filter=../RedshiftLibrary/RedshiftLibrary --xml-pretty --exclude-unreachable-branches --print-summary -o coverage.xml --root ${CI_PROJECT_DIR}
• gcovr --filter=../RedshiftLibrary/src/lib/ --filter=../RedshiftLibrary/RedshiftLibrary --html -o index.html --root .
  coverage: /^\s*lines:\s*\d+.\d+%/
  artifacts:
  paths:
• build/coverage.xml
• build/index.html
  expire_in: 1 week
  reports:
  coverage_report:
  coverage_format: cobertura
  path: build/coverage.xml
  </code></pre>