Autogenerated JaCoCo coverage badges

github-actions[bot] · github-actions[bot] · commit 5efc0ba8732c · 2022-12-06T11:30:38.000Z
diff --git a/badges/coverage-summary.json b/badges/coverage-summary.json
@@ -1 +1 @@
-{"branches": 63.63636363636363, "coverage": 87.31138545953361}
+{"branches": 63.63636363636363, "coverage": 87.35042735042735}
