Teodor Sigaev <teodor@sigaev.ru> writes:
> Hm, it was a random failure?
Yeah, whelk seems to be a bit flaky lately. Not very clear why,
but it's shown several failures that other BF members didn't.
https://buildfarm.postgresql.org/cgi-bin/show_history.pl?nm=whelk&br=HEAD
Curiously, it's only HEAD that's flapping; the back branches are fine.
regards, tom lane