CI Tools

Section describing tools used by CI to verify integrity of the submitted patches (status).