<div dir="ltr"><div class="gmail_quote"><div class="GmSign"><br></div><div dir="ltr">On Mon, Nov 14, 2016 at 3:05 PM Ben Coman <<a href="mailto:btc@openinworld.com">btc@openinworld.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br class="gmail_msg">
Hi Nicolas,<br class="gmail_msg">
<br class="gmail_msg">
Thanks for looking at Gerardo's snprintf PR.<br class="gmail_msg">
Now I think its build failures were due to something else happening a<br class="gmail_msg">
month ago (as you commented), but the snprintf PR doesn't get rebuilt<br class="gmail_msg">
after those were fixed.<br class="gmail_msg">
Several other PRs seem in the same boat - but then I think the red<br class="gmail_msg">
cross discourages people from reviewing them.<br class="gmail_msg">
<br class="gmail_msg">
I read [1] that one way to retrigger a build is to close and re-open<br class="gmail_msg">
the PR.  Maybe you could test that? Ideally there would be green ticks<br class="gmail_msg">
before merging, rather than ignoring the red crosses since we "know"<br class="gmail_msg">
they are unrelated.  I'd do it but I think repo write permission is<br class="gmail_msg">
needed.<br class="gmail_msg"></blockquote><div><br></div><div>You could also just merge the Cog branch into the PR branch.</div><div>This should trigger a new build as well.</div><div><br></div><div>Cheers,</div><div>Fabio</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br class="gmail_msg">
cheers -ben<br class="gmail_msg">
<br class="gmail_msg">
<br class="gmail_msg">
<br class="gmail_msg">
<br class="gmail_msg">
[1]  <a href="http://stackoverflow.com/questions/17606874/trigger-a-travis-ci-rebuild-without-pushing-a-commit" rel="noreferrer" class="gmail_msg" target="_blank">http://stackoverflow.com/questions/17606874/trigger-a-travis-ci-rebuild-without-pushing-a-commit</a><br class="gmail_msg">
</blockquote></div></div>