[Bot] Badge update (#238)

polar-rules · Dec 16, 2023 · 563207a · 563207a
1 parent b921c91
commit 563207a
Showing 1 changed file with 9 additions and 9 deletions.
diff --git a/assets/badges/coverage.svg b/assets/badges/coverage.svg