[rank] adding rank

app.py

@@ -92,7 +92,22 @@ def format_leaderboard_df_for_display(df_orig):
 
     # Convert the 'Overall Rank' to integer string to avoid '.0'
     if 'Overall Rank' in temp_formatted_df.columns:
-        temp_formatted_df['Overall Rank'] = temp_formatted_df['Overall Rank'].map(lambda x: f"{int(x)}" if pd.notnull(x) else '-')
+        def format_rank_with_emoji(rank_val):
+            if pd.isnull(rank_val):
+                return '-'
+            try:
+                rank_int = int(float(rank_val)) # Ensure conversion from potential float string
+                if rank_int == 1:
+                    return f"{rank_int} 🥇"
+                elif rank_int == 2:
+                    return f"{rank_int} 🥈"
+                elif rank_int == 3:
+                    return f"{rank_int} 🥉"
+                else:
+                    return f"{rank_int}"
+            except ValueError:
+                return str(rank_val) # Return original if not convertible to int
+        temp_formatted_df['Overall Rank'] = temp_formatted_df['Overall Rank'].map(format_rank_with_emoji)
 
     return temp_formatted_df