From 450abb93492fc36069466297add8f1132f5f06e2 Mon Sep 17 00:00:00 2001
From: GitHub Action <action@github.com>
Date: Tue, 17 Sep 2024 20:20:43 +0000
Subject: [PATCH] Update badges with results from latest autograding

---
 badges/branch-coverage.svg | 8 ++++----
 badges/bugs.svg            | 8 ++++----
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/badges/branch-coverage.svg b/badges/branch-coverage.svg
index f3ac5a79..616e275a 100644
--- a/badges/branch-coverage.svg
+++ b/badges/branch-coverage.svg
@@ -1,5 +1,5 @@
-<svg width="96.8" height="20" viewBox="0 0 968 200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Branches: 93%">
-  <title>Branches: 93%</title>
+<svg width="96.8" height="20" viewBox="0 0 968 200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Branches: 92%">
+  <title>Branches: 92%</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="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">93%</text>
-    <text x="653" y="138" textLength="260">93%</text>
+    <text x="663" y="148" textLength="260" fill="#000" opacity="0.25">92%</text>
+    <text x="653" y="138" textLength="260">92%</text>
   </g>
   
 </svg>
\ No newline at end of file
diff --git a/badges/bugs.svg b/badges/bugs.svg
index 215dfd44..56f08c03 100644
--- a/badges/bugs.svg
+++ b/badges/bugs.svg
@@ -1,5 +1,5 @@
-<svg width="61.1" height="20" viewBox="0 0 611 200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Bugs: 82">
-  <title>Bugs: 82</title>
+<svg width="61.1" height="20" viewBox="0 0 611 200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Bugs: 99">
+  <title>Bugs: 99</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="140" fill="#000" opacity="0.25">82</text>
-    <text x="416" y="138" textLength="140">82</text>
+    <text x="426" y="148" textLength="140" fill="#000" opacity="0.25">99</text>
+    <text x="416" y="138" textLength="140">99</text>
   </g>
   
 </svg>
\ No newline at end of file