Hi Thomas,
I will check it today.
Regards
Nikola
On Sat, 23 Sept 2023 at 04:54, Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:
> I am not sure why REL_16_STABLE fails consistently as of ~4 days ago.
> It seems like bad storage or something? Just now it happened also on
> HEAD. I wonder why it would be sensitive to the branch.
>