Discussing Test Coverage Statistics and External Services Integration

[Junjiequan]

Some thoughts on the current usage of external services for test coverage statistics.

Current Setup:

• We are using Coveralls to display the test coverage badge on the repository README.md.
• We also have a GitHub workflow that runs during each pull request, showing the test coverage results directly in the PR.

Discussion Points:

1. Is test coverage necessary for our project?

• Should we continue using test coverage as a metric for code quality?

2. Should we keep both integrations (badge and PR checks)?

• Would it be beneficial to have both Coveralls for the badge and the GitHub workflow for PR checks, or should we reduce it to only one?