Update badges with results from latest autograding

jenkinsci · Nov 30, 2023 · 76589d3 · 76589d3
1 parent 76d2ad0
commit 76589d3
Show file tree

Hide file tree

Showing 5 changed files with 100 additions and 0 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
diff --git a/badges/mutation-coverage.svg b/badges/mutation-coverage.svg
diff --git a/badges/style-warnings.svg b/badges/style-warnings.svg