diff options
author | Federico Mena Quintero <federico@gnome.org> | 2022-06-03 19:04:44 -0500 |
---|---|---|
committer | Federico Mena Quintero <federico@gnome.org> | 2022-06-03 19:36:29 -0500 |
commit | fee3e3d08054300c13622aa6890e5d09cc2ddc6d (patch) | |
tree | 4d4de552824beb50377e78d2fa4209c18c6e193e /ci | |
parent | 62a32f566de03b6d1406501cea7a16a1de34dec1 (diff) | |
download | at-spi2-core-fee3e3d08054300c13622aa6890e5d09cc2ddc6d.tar.gz |
Use grcov to generate the coverage report
Also output a Cobertura XML report so Gitlab can show per-line
coverage in diffs for a merge request.
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions