I've seen non-responsive coveralls reports for a github PR, but I don;t know how to "restart" or what the cause is