Merge remote-tracking branch 'origin/main'

markmansour · Mar 22, 2024 · 582742b · 582742b
2 parents c840cfa + d763bd4
commit 582742b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/badges/jacoco.svg b/.github/badges/jacoco.svg