Change Github status messages to mention Criterion