From ec4638123e462e3311fc3cdd5e3093ec25db29ac Mon Sep 17 00:00:00 2001
From: edburns <75821+edburns@users.noreply.github.com>
Date: Sat, 16 May 2026 00:33:26 +0000
Subject: [PATCH] Update JaCoCo coverage badge

---
 .github/badges/jacoco.svg | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/badges/jacoco.svg b/.github/badges/jacoco.svg
index b90843bcc4..56a1a015fa 100644
--- a/.github/badges/jacoco.svg
+++ b/.github/badges/jacoco.svg
@@ -12,7 +12,7 @@
   <g fill="#fff" text-anchor="middle" font-family="DejaVu Sans,Verdana,Geneva,sans-serif" font-size="11">
     <text x="31" y="15" fill="#010101" fill-opacity=".3">coverage</text>
     <text x="31" y="14">coverage</text>
-    <text x="85" y="15" fill="#010101" fill-opacity=".3">81.9%</text>
-    <text x="85" y="14">81.9%</text>
+    <text x="85" y="15" fill="#010101" fill-opacity=".3">80.2%</text>
+    <text x="85" y="14">80.2%</text>
   </g>
 </svg>