Update badges with results from latest autograding

uhafner · Sep 11, 2024 · d3fd7d7 · d3fd7d7
1 parent d65f9e0
commit d3fd7d7
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 11 deletions.
diff --git a/badges/branch-coverage.svg b/badges/branch-coverage.svg
diff --git a/badges/mutation-coverage.svg b/badges/mutation-coverage.svg