John Naylor <john.naylor@enterprisedb.com> writes:
> On Fri, Aug 18, 2023 at 5:26 PM Thomas Munro <thomas.munro@gmail.com> wrote:
>> I don't know what's going on on that machine but those two failures
>> seem different, and there are also now some failures in release
>> branches that don't have your commit, so I'd wait long for more
>> evidence...
> Ah, I did check at least one back branch yesterday and didn't see any
> failures then. I see them now, thanks!
... and hamerkop just went back to green on HEAD. So whatever is up
with that machine, it's not the fault of your commit.
regards, tom lane