chore: update leaderboard for PR SecureBananaLabs#214

github-actions[bot] · davidweb3-ctrl · commit c64f1a74dcbd · 2026-05-19T03:07:41.000Z
diff --git a/leaderboard.json b/leaderboard.json
@@ -5,7 +5,7 @@
   "dhuamanilu": 1,
   "jing11223344": 1,
   "OnlyYu1996": 1,
-  "KarelTestSpecial": 1,
+  "KarelTestSpecial": 2,
   "huthoinguyn": 1,
   "cupcakesandcodes": 3,
   "malsony": 4,
