<!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=US-ASCII" http-equiv="Content-Type">
<title>
GitLab
</title>
<style>img {
max-width: 100%; height: auto;
}
</style>
</head>
<body>
<div class="content">
<p style="color: #777777;">
<a href="https://gitlab.com/dueno">Daiki Ueno</a>
<a href="https://gitlab.com/gnutls/gnutls/-/merge_requests/1413#note_559058322">commented</a>:
</p>
<div style="">
<p dir="auto"><a href="https://gitlab.com/civodul" data-user="1497922" data-reference-type="user" data-container="body" data-placement="top" class="gfm gfm-project_member js-user-link" title="civodul">@civodul</a> the CI is failing in the <code>make syntax-check</code>:</p>
<pre class="code highlight js-syntax-highlight language-console" lang="console" v-pre="true"><code><span id="LC1" class="line" lang="console"><span class="go">guile/src/core.c:98:to TO</span></span>
<span id="LC2" class="line" lang="console"><span class="go">maint.mk: doubled words</span></span>
<span id="LC3" class="line" lang="console"><span class="go">make: *** [maint.mk:1050: sc_prohibit_doubled_word] Error 1</span></span></code></pre>
<p dir="auto">I'd say the check is rather strange but if you could workaround that would be great :-)</p>
</div>
</div>
<div class="footer" style="margin-top: 10px;">
<p style="font-size: small; color: #666;">
—
<br>
Reply to this email directly or <a href="https://gitlab.com/gnutls/gnutls/-/merge_requests/1413#note_559058322">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/9428c7c065e433925042860abfe64628/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 Merge request","url":"https://gitlab.com/gnutls/gnutls/-/merge_requests/1413#note_559058322"}}</script>
</p>
</div>
</body>
</html>