Improve coverage comment - #211

Merged

ewjoachim merged 15 commits into

mainfrom

comment-improvements

Jan 1, 2024

Commits on Jan 1, 2024

Add MAX_FILES_IN_COMMENT
ewjoachim
committed
c28a5bb
Include context in our own coverage
ewjoachim
committed
3873551
Ruff: mark all issues as fixable
ewjoachim
committed
ed43156
Add a new system for easily writing tests with specific coverage/diff_coverage objects
ewjoachim
committed
f10755f
Split annotations.py into diff_grouper and groups
ewjoachim
committed
ffabbdd
get_evolution_badge_color
ewjoachim
committed
1c38e87
get_static_badge_url
ewjoachim
committed
a853bdb
parse_datafile returns the coverage rate AND the previous coverage object
ewjoachim
committed
a2e0e83
Remove branch coverage from coverage rate computation (#333)
ewjoachim
committed
a2f74ac
FileDiffCoverage: add new attributes
ewjoachim
committed
0e2f149
Remove extraneous space from log template
ewjoachim
committed
9130080
Completely redo the template
ewjoachim
committed
ad343b4
Adapt main.py to changes
ewjoachim
committed
5de9dd2
Fix tests
ewjoachim
committed
0bf474d
Readme note.
ewjoachim
committed
d001bef