The pipeline status badge has a broken image and the coverage badge
shows just "unknown". This is because the pipeline image has been
renamed by GitLab and the coverage is not computed since the commit
a5a405d6. Let's fix the pipeline image filename and remove coverage
badge as it is useless.