Update badges with results from latest autograding

actions-user · actions-user · commit e4dea63ae430 · 2024-05-10T09:43:31.000Z
diff --git a/badges/bugs.svg b/badges/bugs.svg
@@ -1,5 +1,5 @@
-<svg width="54.1" height="20" viewBox="0 0 541 200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Bugs: 2">
-  <title>Bugs: 2</title>
+<svg width="54.1" height="20" viewBox="0 0 541 200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Bugs: 0">
+  <title>Bugs: 0</title>
   <linearGradient id="a" x2="0" y2="100%">
     <stop offset="0" stop-opacity=".1" stop-color="#EEE"/>
     <stop offset="1" stop-opacity=".1"/>
@@ -13,8 +13,8 @@
   <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="271" fill="#000" opacity="0.25">Bugs</text>
     <text x="50" y="138" textLength="271">Bugs</text>
-    <text x="426" y="148" textLength="70" fill="#000" opacity="0.25">2</text>
-    <text x="416" y="138" textLength="70">2</text>
+    <text x="426" y="148" textLength="70" fill="#000" opacity="0.25">0</text>
+    <text x="416" y="138" textLength="70">0</text>
   </g>
   
 </svg>
diff --git a/badges/style.svg b/badges/style.svg
@@ -1,5 +1,5 @@
-<svg width="78.9" height="20" viewBox="0 0 789 200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Warnings: 2">
-  <title>Warnings: 2</title>
+<svg width="78.9" height="20" viewBox="0 0 789 200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Warnings: 0">
+  <title>Warnings: 0</title>
   <linearGradient id="a" x2="0" y2="100%">
     <stop offset="0" stop-opacity=".1" stop-color="#EEE"/>
     <stop offset="1" stop-opacity=".1"/>
@@ -13,8 +13,8 @@
   <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="519" fill="#000" opacity="0.25">Warnings</text>
     <text x="50" y="138" textLength="519">Warnings</text>
-    <text x="674" y="148" textLength="70" fill="#000" opacity="0.25">2</text>
-    <text x="664" y="138" textLength="70">2</text>
+    <text x="674" y="148" textLength="70" fill="#000" opacity="0.25">0</text>
+    <text x="664" y="138" textLength="70">0</text>
   </g>
   
 </svg>
