<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Feb 7, 2021 at 3:12 PM Jeremy Stanley <<a href="mailto:fungi@yuggoth.org">fungi@yuggoth.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 2021-02-07 14:58:14 +0100 (+0100), Dmitry Tantsur wrote:<br>
[...]<br>
> Although currently there is an unfortunately tendency between<br>
> newcomers to blindly recheck their patches despite clearly not<br>
> passing some checks. If they could recheck only some jobs, it<br>
> would limit their negative impact on the whole CI (and maybe make<br>
> them realize that it's always the same jobs that fail).<br>
[...]<br>
<br>
Put differently, there is a strong tendency for newcomers and<br>
long-timers alike to just beep blindly rechecking their buggy<br>
changed until they merge and introduce new nondeterministic<br>
behaviors into the software. If they only needed to recheck the<br>
specific jobs which failed on those bugs they're introducing one<br>
build at a time, it would become far easier for them to accomplish<br>
their apparent (judging from this habit) goal of making the software<br>
essentially unusable and untestable.<br></blockquote><div><br></div><div>I cannot confirm your observation. In the cases I've seen it's a hard failure, completely deterministic, they just fail to recognize it.<br></div><div><br></div><div>In any case, leaving this right to cores only more or less fixes this concern.</div><div><br></div><div>Dmitry<br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
-- <br>
Jeremy Stanley<br>
</blockquote></div><br clear="all"><br>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr">Red Hat GmbH, <a href="https://de.redhat.com/" target="_blank">https://de.redhat.com/</a> , Registered seat: Grasbrunn, <br>Commercial register: Amtsgericht Muenchen, HRB 153243,<br>Managing Directors: Charles Cachera, Brian Klemm, Laurie Krebs, Michael O'Neill <br></div></div></div>