Add coverage report comment in PR

Question

astariul opened this issue 3 years ago · comments

CI should automatically comment the PR with coverage report generated.

Astariul · Answer 1 · Wed Oct 27 2021 22:10:27 GMT+0800 (China Standard Time)

Finally it's a bad idea : instead we will just fail the check if the coverage is not up to date.