PitestCI A continuous integration script for processing Pitest output and converting to a summary or GitHub Shield.