Update badges with results from latest autograding

uhafner · Nov 30, 2023 · b2003c6 · b2003c6
1 parent 30e9e9c
commit b2003c6
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/badges/warnings.svg b/badges/warnings.svg