Update badges with results from latest autograding

jenkinsci · Nov 30, 2023 · 6575e0c · 6575e0c
1 parent c811e09
commit 6575e0c
Show file tree

Hide file tree

Showing 3 changed files with 40 additions and 20 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/warnings.svg b/badges/warnings.svg