On Tue, Jun 15, 2021 at 4:49 PM Tom Lane <[email protected]> wrote: > Alexander Korotkov <[email protected]> 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
