Hi, On 2020-06-16 15:20:11 -0400, Alvaro Herrera wrote: > On 2020-Jun-15, Andres Freund wrote: > > > > Also, I wonder if someone would be willing to set up a BF animal for this. > > > > FWIW, I've requested a buildfarm animal id for this a few days ago, but > > haven't received a response yet... > > I did send it out, with name rorqual -- didn't you get that? Will send > the secret separately.
That animal is now live. Will take a bit for all branches to report in though. Need to get faster storage for my buildfarm animal host... Greetings, Andres Freund
