• Ondrej Holy's avatar
    README: Fix broken project badges · 96bce1af
    Ondrej Holy authored
    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.