ci: fix coverage report
With the changes I made before, I broke the code coverage badge.
GitLab had changed how the coverage percentage is collected from CI, so this uses the new way.
With the changes I made before, I broke the code coverage badge.
GitLab had changed how the coverage percentage is collected from CI, so this uses the new way.