Update JaCoCo coverage badge

github-actions[bot] · github-actions[bot] · commit fa91864f2b7c · 2026-02-10T20:42:11.000Z
diff --git a/.github/badges/jacoco.svg b/.github/badges/jacoco.svg
@@ -12,7 +12,7 @@
   <g fill="#fff" text-anchor="middle"<span class="pl-ent">g</span> <span class="pl-e">fill</span>=<span class="pl-s"><span class="pl-pds">&quot;</span>#fff<span class="pl-pds">&quot;</span></span> <span class="pl-e">text-anchor</span>=<span class="pl-s"><span class="pl-pds">&quot;</span>middle<span class="pl-pds">&quot;</span></span> <span class="pl-e"></span>DejaVu Sans,Verdana,Geneva,sans-serif<span class="pl-pds">&quot;</span></span> <span class="pl-e">font-size</span>=<span class="pl-s"><span class="pl-pds">&quot;</span>11<span class="pl-pds">&quot;</span></span>&gt;
     <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.5%</text>
-    <text x="85" y="14">82.5%</text>
+    <text x="85" y="15" fill="#010101" fill-opacity=".3">82.8%</text>
+    <text x="85" y="14">82.8%</text>
   </g>
 </svg>
