The successful master CI run replaces this page and badge with measured complete-package statement coverage, its source commit and the executed report.
No measured result has been published here yet.