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.