deploy coverage report with github actions

[remace]

• [x] install coverage
• [x] use it in CI/CD pipeline
• [x] save report in artifacts
• [ ] deploy html report in github pages

[remace]

I will let the static pages deployment for much later as it is not a priority for instance