Enforce CI's src-check