Hi, On 2024-10-25 04:14:03 -0400, Andres Freund wrote: > On 2024-10-25 08:22:42 +0300, Thomas Munro wrote: > > I wonder if this will magically fix itself when the next CI image > > build cron job kicks off. I have no idea what time zone this page is > > showing but it should happen in another day or so, unless Andres is > > around to kick it sooner: > > > > https://cirrus-ci.com/github/anarazel/pg-vm-images > > I did trigger a rebuild of the image just now. Hopefully that'll fix it.
It did. Greetings, Andres Freund
