Update JaCoCo coverage badge

github-actions[bot] · github-actions[bot] · commit 5db1d0926261 · 2026-02-10T21:37:30.000Z
diff --git a/.github/badges/jacoco.svg b/.github/badges/jacoco.svg
@@ -12,7 +12,7 @@
   <g fill="#fff" text-anchor="middle" font-family="DejaVu Sans,Verdana,Geneva,sans-serif" font-size="11">
     <text x="31" y="15" fill="#010101" fill-opacity=".3">coverage</text>
     <text x="31" y="14">coverage</text>
-    <text x="85" y="15" fill="#010101" fill-opacity=".3">82.8%</text>
-    <text x="85" y="14">82.8%</text>
+    <text x="85" y="15" fill="#010101" fill-opacity=".3">84.2%</text>
+    <text x="85" y="14">84.2%</text>
   </g>
 </svg>
