[at-spi2-core: 7/7] Merge branch 'use-grcov' into 'master'

[Federico Mena Quintero <federico src gnome org>]

commit 3b750360177d4926b267da94b2803e5d81cd74f1
Merge: 5717ed12 bb0e6ab3
Author: Federico Mena Quintero <federico gnome org>
Date:   Mon Jun 6 16:10:33 2022 +0000

    Merge branch 'use-grcov' into 'master'
    
    Use grcov instead of lcov
    
    See merge request GNOME/at-spi2-core!82

 .gitlab-ci.yml          | 19 +++++++++++--------
 ci/container_builds.yml |  8 +++++---
 ci/gen-coverage.sh      | 17 -----------------
 ci/install-grcov.sh     | 14 ++++++++++++++
 4 files changed, 30 insertions(+), 28 deletions(-)
---