From 4758fcbbb11db8d9cdc524753c7d0b7c0159ab21 Mon Sep 17 00:00:00 2001
From: George Tsoukalas <99286219+GeorgeTsoukalas@users.noreply.github.com>
Date: Fri, 26 Dec 2025 15:29:51 +0000
Subject: [PATCH] Update leaderboard.html

660 -> 672
---
 docs/leaderboard.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/leaderboard.html b/docs/leaderboard.html
index fb62901..8b3472a 100644
--- a/docs/leaderboard.html
+++ b/docs/leaderboard.html
@@ -134,7 +134,7 @@ <h3 class="fw-light text-nowrap">
       <!-- <div id="chart" style="width: 100%; height: 600px"></div> -->
       <div class="container-fluid d-flex flex-row flex-nowrap">
         <div class="container-fluid d-flex flex-column align-items-center">
-          <label for="lean" style="font-size: 14px;" class="text-success mb-3">Lean (out of 660)</label>
+          <label for="lean" style="font-size: 14px;" class="text-success mb-3">Lean (out of 672)</label>
           <table
             id="lean"
             class="table table-responsive table-striped table-bordered flex-shrink-1 border border-success border-3"
@@ -572,4 +572,4 @@ <h3>📝 Notes</h3>
       // });
     </script>
   </body>
-</html>
\ No newline at end of file
+</html>