Currently, we depend on an external service to get the code coverage badges, see
|
# FIXME: It's questionable whether we want to have a dependency to an |
|
# external service for generating these badges. This introduces a possible |
|
# cause of instabilities in case the external service becomes unavailable, |
|
# as already happened in the CI. |
We'll have to discuss whether this is desirable or if we want to not depend on external services.