Update badges with results from latest autograding

uhafner · Apr 1, 2024 · 68ff9d9 · 68ff9d9
1 parent 5ff90da
commit 68ff9d9
Show file tree

Hide file tree

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