Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The output log will be collected by subsequent pipelines to generate Pull Request coverage reports. And if a branch wants to enforce the coverage rate, we can simply and "--fail-under SCORE" in the cover-diff command, see detail in https://diff-cover.readthedocs.io/en/latest/README.html
- Loading branch information