On Tue, Jun 15, 2021 at 4:49 PM Tom Lane <t...@sss.pgh.pa.us> wrote: > Alexander Korotkov <aekorot...@gmail.com> writes: > > Pushed! Thanks to thread participants for raising this topic and > > review. I'll be around to resolve issues if any. > > Buildfarm is pretty thoroughly unhappy. Did you do a "check-world" > before pushing?
Yes, I'm looking at this now. I did run "check-world", but it passed for me. Probably the same reason it passed for some buildfarm animals... ------ Regards, Alexander Korotkov
