From ae600a1a299fe2529297e243da57515afde02071 Mon Sep 17 00:00:00 2001
From: GitHub Action <action@github.com>
Date: Thu, 11 Apr 2024 08:51:20 +0000
Subject: [PATCH] Update badges with results from latest autograding

---
 badges/branch-coverage.svg   | 14 +++++++-------
 badges/bugs.svg              |  8 ++++----
 badges/line-coverage.svg     | 14 +++++++-------
 badges/mutation-coverage.svg |  8 ++++----
 badges/style.svg             |  8 ++++----
 5 files changed, 26 insertions(+), 26 deletions(-)

diff --git a/badges/branch-coverage.svg b/badges/branch-coverage.svg
index ca09092..e7e1b29 100644
--- 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: 29%">
-  <title>Branches: 29%</title>
+<svg width="89.8" height="20" viewBox="0 0 898 200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Branches: 0%">
+  <title>Branches: 0%</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="898" 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="290" height="200" fill="#3C1" x="608"/>
+    <rect width="898" 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">29%</text>
-    <text x="653" y="138" textLength="260">29%</text>
+    <text x="663" y="148" textLength="190" fill="#000" opacity="0.25">0%</text>
+    <text x="653" y="138" textLength="190">0%</text>
   </g>
   
 </svg>
\ No newline at end of file
diff --git a/badges/bugs.svg b/badges/bugs.svg
index e458118..dccfecf 100644
--- 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>
\ No newline at end of file
diff --git a/badges/line-coverage.svg b/badges/line-coverage.svg
index 29b0a72..b3ede6a 100644
--- 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: 35%">
-  <title>Lines: 35%</title>
+<svg width="67.4" height="20" viewBox="0 0 674 200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Lines: 0%">
+  <title>Lines: 0%</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="674" 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="290" height="200" fill="#3C1" x="384"/>
+    <rect width="674" 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">35%</text>
-    <text x="429" y="138" textLength="260">35%</text>
+    <text x="439" y="148" textLength="190" fill="#000" opacity="0.25">0%</text>
+    <text x="429" y="138" textLength="190">0%</text>
   </g>
   
 </svg>
\ No newline at end of file
diff --git a/badges/mutation-coverage.svg b/badges/mutation-coverage.svg
index 382d572..60ae32a 100644
--- a/badges/mutation-coverage.svg
+++ b/badges/mutation-coverage.svg
@@ -1,5 +1,5 @@
-<svg width="92.9" height="20" viewBox="0 0 929 200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Mutations: 3%">
-  <title>Mutations: 3%</title>
+<svg width="92.9" height="20" viewBox="0 0 929 200" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="Mutations: 0%">
+  <title>Mutations: 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="539" fill="#000" opacity="0.25">Mutations</text>
     <text x="50" y="138" textLength="539">Mutations</text>
-    <text x="694" y="148" textLength="190" fill="#000" opacity="0.25">3%</text>
-    <text x="684" y="138" textLength="190">3%</text>
+    <text x="694" y="148" textLength="190" fill="#000" opacity="0.25">0%</text>
+    <text x="684" y="138" textLength="190">0%</text>
   </g>
   
 </svg>
\ No newline at end of file
diff --git a/badges/style.svg b/badges/style.svg
index aa2139c..239e11b 100644
--- 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: 4">
-  <title>Warnings: 4</title>
+<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>
   <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">4</text>
-    <text x="664" y="138" textLength="70">4</text>
+    <text x="674" y="148" textLength="70" fill="#000" opacity="0.25">2</text>
+    <text x="664" y="138" textLength="70">2</text>
   </g>
   
 </svg>
\ No newline at end of file