Update badges with results from latest autograding

uhafner · Mar 15, 2024 · 7a6a240 · 7a6a240
1 parent aa5dd59
commit 7a6a240
Show file tree

Hide file tree

Showing 3 changed files with 18 additions and 18 deletions.
diff --git a/badges/branch-coverage.svg b/badges/branch-coverage.svg
diff --git a/badges/line-coverage.svg b/badges/line-coverage.svg
diff --git a/badges/mutation-coverage.svg b/badges/mutation-coverage.svg