add coverage run badge, extension

This commit is contained in:
John
2021-11-13 17:48:15 +01:00
parent fb3c4ca9e8
commit bb75451434
2 changed files with 1 additions and 0 deletions