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