Update badges with results from latest autograding

uhafner · Dec 21, 2023 · a7b1071 · a7b1071
1 parent d6fc9f8
commit a7b1071
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/badges/mutation-coverage.svg b/badges/mutation-coverage.svg