Update badges [skip ci]

github-actions[bot] · tbela99 · commit 85f038677801 · 2025-08-25T00:05:41.000-04:00
diff --git a/badges/coverage.svg b/badges/coverage.svg
@@ -1,20 +1,20 @@
-<svg width="114.3" height="20" viewBox="0 0 1143 200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="coverage: 86.35%">
-  <title>coverage: 86.35%</title>
-  <linearGradient id="HbzDZ" x2="0" y2="100%">
+<svg width="114.3" height="20" viewBox="0 0 1143 200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="coverage: 86.32%">
+  <title>coverage: 86.32%</title>
+  <linearGradient id="ZSnZl" x2="0" y2="100%">
     <stop offset="0" stop-opacity=".1" stop-color="#EEE"/>
     <stop offset="1" stop-opacity=".1"/>
   </linearGradient>
-  <mask id="hTxWG"><rect width="1143" height="200" rx="30" fill="#FFF"/></mask>
-  <g mask="url(#hTxWG)">
+  <mask id="cbxzg"><rect width="1143" height="200" rx="30" fill="#FFF"/></mask>
+  <g mask="url(#cbxzg)">
     <rect width="603" height="200" fill="#555"/>
     <rect width="540" height="200" fill="#F73" x="603"/>
-    <rect width="1143" height="200" fill="url(#HbzDZ)"/>
+    <rect width="1143" height="200" fill="url(#ZSnZl)"/>
   </g>
   <g aria-hidden="true" fill="#fff" text-anchor="start" font-family="Verdana,DejaVu Sans,sans-serif" font-size="110">
     <text x="60" y="148" textLength="503" fill="#000" opacity="0.25">coverage</text>
     <text x="50" y="138" textLength="503">coverage</text>
-    <text x="658" y="148" textLength="440" fill="#000" opacity="0.25">86.35%</text>
-    <text x="648" y="138" textLength="440">86.35%</text>
+    <text x="658" y="148" textLength="440" fill="#000" opacity="0.25">86.32%</text>
+    <text x="648" y="138" textLength="440">86.32%</text>
   </g>
   
 </svg>
