JFH 614a361558 do not ignore the coverage summary ...

so it can be used to compare master and PR coverage

2022-08-14 11:11:52 +02:00

..

coverage-summary.json

do not ignore the coverage summary

2022-08-14 11:11:52 +02:00