Update coverage badge: 88%

github-actions[bot] · github-actions[bot] · commit 4187626db76b · 2026-01-07T03:32:04.000Z
diff --git a/.github/badges/coverage.json b/.github/badges/coverage.json
@@ -1,6 +1,6 @@
 {
   "schemaVersion": 1,
   "label": "coverage",
-  "message": "unknown",
-  "color": "lightgrey"
+  "message": "88%",
+  "color": "green"
 }
