From 47f78537f8a00a93db6910086b760c1d7aee668a Mon Sep 17 00:00:00 2001
From: github-actions <41898282+github-actions[bot]@users.noreply.github.com>
Date: Tue, 4 Jul 2023 11:16:55 +0000
Subject: [PATCH] Autogenerated JaCoCo coverage badges

---
 docs/badges/coverage-summary.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/badges/coverage-summary.json b/docs/badges/coverage-summary.json
index a3dc38b9f..74d74de33 100644
--- a/docs/badges/coverage-summary.json
+++ b/docs/badges/coverage-summary.json
@@ -1 +1 @@
-{"branches": 68.87432717060614, "coverage": 70.64576748953617}
\ No newline at end of file
+{"branches": 68.85092440908028, "coverage": 70.64434383986789}
\ No newline at end of file