<div dir="ltr">yeah, i'll keep an eye out and let you know if it doesn't start up again...</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Jul 11, 2023 at 10:10 PM Rob Landley <<a href="mailto:rob@landley.net">rob@landley.net</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 7/11/23 17:15, enh wrote:<br>
> especially since we suspiciously haven't had any CI run at all since that change<br>
> went in: <a href="https://github.com/landley/toybox/commits/master" rel="noreferrer" target="_blank">https://github.com/landley/toybox/commits/master</a><br>
> (i'd expected as least an error, but not even a "ran and failed"!)<br>
<br>
I hit that problem back when we added the mac tests and I was trying to rely on<br>
them (um, 2019?). Github never runs tests reliably, the servers drop tests runs<br>
to shed load. If you want to force it you can commit to a throwaway branch where<br>
you add a period to the README or some such and that rolls the dice again, but<br>
you've gotta babysit it and retry if you care...<br>
<br>
Rob<br>
</blockquote></div>