in #207 we added a way of reporting coverage to github. It would be nice if we could fail a job on the project coverage level?