Re: Heads Up: cirrus-ci is shutting down June 1st

Hi,

Thank you for looking into this!

On Thu, 28 May 2026 at 02:10, Zsolt Parragi  wrote:
>
> Hello!
>
> I didn't try the workflow on github yet, I only have a few comments
> based on the yaml file:
>
> +on:
> +  push:
> +    branches: [ "*" ]
> +
>
> Should this be "**", otherwise we ignore branches with a "/" in it?

You are right. I completely removed the 'branches:' part, now it
should match with every branch.


> +      SANITIZER_FLAGS: -fsanitize=address
>
> is this used anywhere? Seems like it's directly included into CFLAGS/LDFLAGS.

It wasn't used but I put it there for visibility since in Github
Actions you can't refer to other environment variables (Perhaps a
comment was needed for this). We don't use this now since all linux
tasks are merged in the v3 [1].

[1] https://postgr.es/m/CAN55FZ1-qiOWtQH5o6Q_7LJ7S3Ef_hfDE068uP0hGjB3gzwghg%40mail.gmail.com


-- 
Regards,
Nazir Bilal Yavuz
Microsoft