Using GitHub's code coverage

[Ballasi]

Currently, the README.md file uses GitLab's now obsolete code coverage percentage.
On the other hand, GitHub does not offer a built-in code coverage managing tool.

There are two things we can do:

• use a third-party tool (like codecov)
• automatically pull the GitHub repository to GitLab so it builds and inputs the code coverage there

This, however, is not top priority.

[Ballasi]

I think I am going to settle with a GitLab task that will download the repo from GitHub, run code coverage on any new version and update the badge.