From 137618b7a030b76f93eee80ba03bca6f31ed700f Mon Sep 17 00:00:00 2001
From: "github-merge-queue[bot]"
<118344674+github-merge-queue[bot]@users.noreply.github.com>
Date: Wed, 1 Jul 2026 22:42:14 +0000
Subject: [PATCH] Update Java JaCoCo coverage badge
---
.github/badges/jacoco-generated.svg | 6 +++---
.github/badges/jacoco-handwritten.svg | 6 +++---
2 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/.github/badges/jacoco-generated.svg b/.github/badges/jacoco-generated.svg
index bd7223a65f..a4ef8f21da 100644
--- a/.github/badges/jacoco-generated.svg
+++ b/.github/badges/jacoco-generated.svg
@@ -6,13 +6,13 @@
-
+
coverage generated
coverage generated
- 72.7%
- 72.7%
+ 82.8%
+ 82.8%
diff --git a/.github/badges/jacoco-handwritten.svg b/.github/badges/jacoco-handwritten.svg
index bfb6196f68..19aa9a0b29 100644
--- a/.github/badges/jacoco-handwritten.svg
+++ b/.github/badges/jacoco-handwritten.svg
@@ -6,13 +6,13 @@
-
+
coverage handwritten
coverage handwritten
- 78.4%
- 78.4%
+ 80.6%
+ 80.6%