CI and PR checks should not fail if Coveralls is offline. This has happened many times recently. It's unworkable as it is. We need to find a way of disregarding any error from Coveralls, and just treating it as missing information instead.