<!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">I took a look at the coverage project, seems straight forward.</p>
<p dir="auto">We could also add the coverage (and fuzz-coverage) to gnutls CI - it wouldn't cost anything when we integrate it into the 'abi/coverage' runner.
And it would update with every commit (we can limit it to each commit to master).</p>
<pre class="code highlight js-syntax-highlight plaintext" lang="plaintext" v-pre="true"><code><span id="LC1" class="line" lang="plaintext">...</span>
<span id="LC2" class="line" lang="plaintext">- make local-code-coverage-output || true</span>
<span id="LC3" class="line" lang="plaintext">- rm -rf GnuTLS-*-coverage GnuTLS-*-coverage.info</span>
<span id="LC4" class="line" lang="plaintext">- make -C fuzz check</span>
<span id="LC5" class="line" lang="plaintext">- make code-coverage-capture CODE_COVERAGE_IGNORE_PATTERN='*/include/* /home/tim/src/gnutls/gl/*'</span>
<span id="LC6" class="line" lang="plaintext">- mv GnuTLS-*-coverage public/fuzz-coverage</span>
<span id="LC7" class="line" lang="plaintext">artifacts:</span>
<span id="LC8" class="line" lang="plaintext"> when: on_success</span>
<span id="LC9" class="line" lang="plaintext"> paths:</span>
<span id="LC10" class="line" lang="plaintext"> - public/fuzz-coverage</span></code></pre>
<p dir="auto">This only takes a few seconds. Since Gitlab can't create two badges, we can create our own badge e.g. with</p>
<pre class="code highlight js-syntax-highlight plaintext" lang="plaintext" v-pre="true"><code><span id="LC1" class="line" lang="plaintext">wget -Opublic/fuzz-coverage/badge.svg https://img.shields.io/badge/fuzz--coverage-31.9-red.svg</span></code></pre>
<p dir="auto">We can also directly generate an SVG, it's just a small text file. I'll have to read about the details...</p>
<p dir="auto">It's easier as maintaining a second project and we stay independent of Gitlab.com.</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_135989064">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/d3f9d8e64fad33112d5872ebc32cc383/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_135989064"}}</script>
</p>
</div>
</body>
</html>