Merge remote-tracking branch 'origin/master'

tommens · Feb 18, 2023 · 7c4cf27 · 7c4cf27
2 parents 6af6d10 + b131972
commit 7c4cf27
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/badges/coverage-summary.json b/.github/badges/coverage-summary.json
@@ -1 +1 @@
-{"branches": 89.28571428571429, "coverage": 90.18789144050105}
+{"branches": 89.28571428571429, "coverage": 90.06342494714588}
diff --git a/.github/badges/jacoco.svg b/.github/badges/jacoco.svg