<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en">
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
<title>
GitLab
</title>
<style>img {
max-width: 100%; height: auto;
}
</style>
</head>
<body>
<div class="content">
<div style="">
<p dir="auto">The advantage is that we don't need to maintain another project just for the coverage output.</p>
<p dir="auto">I created a 'make-coverage-badge' script and all to libidn2. Just as an example how easy it is. See the fuzz-coverage badge at <a href="https://gitlab.com/libidn/libidn2">https://gitlab.com/libidn/libidn2</a>. The commit with the things tied together is <a href="https://gitlab.com/libidn/libidn2/commit/530c929434bcbe2fa713827af1b171001c7e4d87" data-original="https://gitlab.com/libidn/libidn2/commit/530c929434bcbe2fa713827af1b171001c7e4d87" data-link="false" data-link-reference="true" data-project="2882658" data-commit="530c929434bcbe2fa713827af1b171001c7e4d87" data-reference-type="commit" data-container="body" data-placement="bottom" title="Create SVG badge for fuzz coverage" class="gfm gfm-commit has-tooltip">libidn/libidn2@530c9294</a>.</p>
<p dir="auto">The green is a bit lighter than we are used to. It's "lawngreen" instead of some fancy RGB hex values.</p>
</div>
</div>
<div class="footer" style="margin-top: 10px;">
<p style="font-size: small; color: #777777;">
—
<br>
Reply to this email directly or <a href="https://gitlab.com/gnutls/gnutls/issues/686#note_136140245">view it on GitLab</a>.
<br>
You're receiving this email because of your account on gitlab.com.
If you'd like to receive fewer emails, you can
<a href="https://gitlab.com/sent_notifications/44f3dab018801f60681d755ba8948c18/unsubscribe">unsubscribe</a>
from this thread or
adjust your notification settings.
<script type="application/ld+json">{"@context":"http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Issue","url":"https://gitlab.com/gnutls/gnutls/issues/686#note_136140245"}}</script>
</p>
</div>
</body>
</html>