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

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?

+      SANITIZER_FLAGS: -fsanitize=address

is this used anywhere? Seems like it's directly included into CFLAGS/LDFLAGS.