Coverage Report

Code coverage is generated in CI. Check the GitHub Actions workflow run.