Update badges with results from latest autograding

actions-user · actions-user · commit 30ea56630702 · 2025-12-21T21:03:23.000Z
diff --git a/badges/branch-coverage.svg b/badges/branch-coverage.svg
@@ -1,20 +1,20 @@
-<svg width="96.8" height="20" viewBox="0 0 968 200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Branches: 47%">
-  <title>Branches: 47%</title>
+<svg width="114.8" height="20" viewBox="0 0 1148 200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Branches: 46.54%">
+  <title>Branches: 46.54%</title>
   <linearGradient id="a" x2="0" y2="100%">
     <stop offset="0" stop-opacity=".1" stop-color="#EEE"/>
     <stop offset="1" stop-opacity=".1"/>
   </linearGradient>
-  <mask id="m"><rect width="968" height="200" rx="30" fill="#FFF"/></mask>
+  <mask id="m"><rect width="1148" height="200" rx="30" fill="#FFF"/></mask>
   <g mask="url(#m)">
     <rect width="608" height="200" fill="#555"/>
-    <rect width="360" height="200" fill="#3C1" x="608"/>
-    <rect width="968" height="200" fill="url(#a)"/>
+    <rect width="540" height="200" fill="#3C1" x="608"/>
+    <rect width="1148" height="200" fill="url(#a)"/>
   </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="508" fill="#000" opacity="0.25">Branches</text>
     <text x="50" y="138" textLength="508">Branches</text>
-    <text x="663" y="148" textLength="260" fill="#000" opacity="0.25">47%</text>
-    <text x="653" y="138" textLength="260">47%</text>
+    <text x="663" y="148" textLength="440" fill="#000" opacity="0.25">46.54%</text>
+    <text x="653" y="138" textLength="440">46.54%</text>
   </g>
   
 </svg>
diff --git a/badges/line-coverage.svg b/badges/line-coverage.svg
@@ -1,20 +1,20 @@
-<svg width="74.4" height="20" viewBox="0 0 744 200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Lines: 40%">
-  <title>Lines: 40%</title>
+<svg width="92.4" height="20" viewBox="0 0 924 200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Lines: 39.85%">
+  <title>Lines: 39.85%</title>
   <linearGradient id="a" x2="0" y2="100%">
     <stop offset="0" stop-opacity=".1" stop-color="#EEE"/>
     <stop offset="1" stop-opacity=".1"/>
   </linearGradient>
-  <mask id="m"><rect width="744" height="200" rx="30" fill="#FFF"/></mask>
+  <mask id="m"><rect width="924" height="200" rx="30" fill="#FFF"/></mask>
   <g mask="url(#m)">
     <rect width="384" height="200" fill="#555"/>
-    <rect width="360" height="200" fill="#3C1" x="384"/>
-    <rect width="744" height="200" fill="url(#a)"/>
+    <rect width="540" height="200" fill="#3C1" x="384"/>
+    <rect width="924" height="200" fill="url(#a)"/>
   </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="284" fill="#000" opacity="0.25">Lines</text>
     <text x="50" y="138" textLength="284">Lines</text>
-    <text x="439" y="148" textLength="260" fill="#000" opacity="0.25">40%</text>
-    <text x="429" y="138" textLength="260">40%</text>
+    <text x="439" y="148" textLength="440" fill="#000" opacity="0.25">39.85%</text>
+    <text x="429" y="138" textLength="440">39.85%</text>
   </g>
   
 </svg>
