Hi,
I thought commit 81b9f23c9c8 had my back, but nope, we still need tomake CI turn red if "headerscheck" and "cpluspluscheck" don't like ourpatches (crake in the build farm should be a secondary defence...).See attached.