correct emoji leaderboard

src/populate.py

@@ -23,10 +23,24 @@ def get_leaderboard_df(results_path: str, cols: list) -> pd.DataFrame:
     team_name_col = TeamColumn.team_name.name
     if team_name_col in df.columns and len(df) > 0:
         medals = ["🥇", "🥈", "🥉"]
-        for idx in range(min(3, len(df))):
+        creative_emoji = "🎨"
+
+        non_aurigin_count = 0
+        for idx in range(len(df)):
             current_name = str(df.iloc[idx][team_name_col])
-            if not any(current_name.startswith(medal) for medal in medals):
-                df.iloc[idx, df.columns.get_loc(team_name_col)] = f"{medals[idx]} {current_name}"
+
+            if current_name.lower() == "aurigin":
+                if not current_name.startswith("🤖"):
+                    df.iloc[idx, df.columns.get_loc(team_name_col)] = f"🤖 {current_name}"
+                continue
+
+            if not any(current_name.startswith(emoji) for emoji in medals + [creative_emoji, "🤖"]):
+                if non_aurigin_count < 3:
+                    df.iloc[idx, df.columns.get_loc(team_name_col)] = f"{medals[non_aurigin_count]} {current_name}"
+                elif non_aurigin_count < 6:
+                    df.iloc[idx, df.columns.get_loc(team_name_col)] = f"{creative_emoji} {current_name}"
+
+                non_aurigin_count += 1
 
     df = df[cols].round(decimals=4)
     return df