Hi,
On 2022-08-15 17:38:21 +1200, Thomas Munro wrote:
> I thought commit 81b9f23c9c8 had my back, but nope, we still need to
> make CI turn red if "headerscheck" and "cpluspluscheck" don't like our
> patches (crake in the build farm should be a secondary defence...).
> See attached.
+1
Greetings,
Andres Freund