github/svgedit
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
3,966 Commits 1 Branch 0 Tags
43bf93968ae73413d6536f033c3ba29f3fe19ee1
Commit Graph

1 Commits

Author SHA1 Message Date
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