summaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
authorFederico Mena Quintero <federico@gnome.org>2022-05-27 14:44:01 -0500
committerFederico Mena Quintero <federico@gnome.org>2022-05-27 15:06:28 -0500
commitecf8ca9acc30bbe2ad23f10bea0235e082742b44 (patch)
tree4879817debd058b9e0bcc3481dbf179c85638c48 /ci
parent6814e38bad256130c40e9614e26ac08a4dcfe4b2 (diff)
downloadat-spi2-core-ecf8ca9acc30bbe2ad23f10bea0235e082742b44.tar.gz
Publish coverage report directly in coverage/index.html
Instead of coverage/coverage/index.html.
Diffstat (limited to 'ci')
-rw-r--r--ci/gen-coverage.sh13
1 files changed, 0 insertions, 13 deletions
diff --git a/ci/gen-coverage.sh b/ci/gen-coverage.sh
index e2f057bf..f19594dd 100644
--- a/ci/gen-coverage.sh
+++ b/ci/gen-coverage.sh
@@ -15,16 +15,3 @@ genhtml \
cd _coverage
rm -f ./*.lcov
-
-cat >index.html <<EOL
-<html>
-<head><title>at-spi2-core Coverage</title></head>
-<body>
-<div>
-<ul>
-<li><a href="coverage/index.html">Coverage report</a></li>
-</ul>
-</div>
-</body>
-</html>
-EOL