> On 14 Dec 2023, at 14:40, Nazir Bilal Yavuz <byavu...@gmail.com> wrote: > On Fri, 6 Oct 2023 at 17:07, Tom Lane <t...@sss.pgh.pa.us> wrote:
>> Not sure what that tells us about the value of changing the CI >> logic, but it does seem like it could be worth the one-liner >> change needed to teach buildfarm animals to ignore READMEs. > > I agree that it could be worth implementing this logic on buildfarm animals. > > In case we want to implement the same logic on the CI, I added a new > version of the patch; it skips CI completely if the changes are only > in the README files. I think it makes sense to avoid wasting CI cycles on commits only changing README files since we know it will be a no-op. A README documentation patch going through N revisions will incur at least N full CI runs which are resources we can spend on other things. So +1 for doing this both in CI and in the buildfarm. -- Daniel Gustafsson