Update coverage badges

github-actions[bot] · github-actions[bot] · commit 22de08073ddc · 2026-07-21T00:03:09.000Z
diff --git a/.github/badges/mug-summary.json b/.github/badges/mug-summary.json
@@ -1 +1 @@
-{"branches": 95.61101549053356, "coverage": 96.61382931736762}
+{"branches": 95.69707401032701, "coverage": 96.64327427982529}
