winner name

app.py

@@ -186,6 +186,27 @@ def refresh_videos():
     return outputs
 
 
+def refresh_winners():
+    df = get_leaderboard_df()
+    outputs = []
+    for env_id in all_env_ids:
+        env_df = select_env(df, env_id)
+        if not env_df.empty:
+            winner = f'{env_df.iloc[0]["user_id"]}/{env_df.iloc[0]["model_id"]}'
+            outputs.append(
+                f"""## {env_id}
+
+### 🏆 [{winner}](https://huggingface.co/{winner}) 🏆"""
+            )
+            # # Or in HTML:
+            # outputs.append(f'<h3>🏆 <a href="https://huggingface.co/{model}">{model}</a> 🏆</h3>')
+        else:
+            outputs.append(f"""## {env_id}
+
+### 🤷‍♂️ No winner yet""")
+    return outputs
+
+
 HEADING = """
 # 🥇 Open RL Leaderboard 🥇
 
@@ -264,7 +285,20 @@ If you encounter any issue, please [open an issue](https://huggingface.co/spaces
 ```
 """
 
-with gr.Blocks() as demo:
+css = """
+.generating {
+    border: none;
+}
+h2 {
+    text-align: center;
+}
+h3 {
+    text-align: center;
+}
+
+"""
+
+with gr.Blocks(css=css) as demo:
     gr.Markdown(HEADING)
     with gr.Tabs(elem_classes="tab-buttons") as tabs:
         with gr.TabItem("🏅 Leaderboard"):
@@ -272,6 +306,7 @@ with gr.Blocks() as demo:
             all_env_ids = []
             all_gr_dfs = []
             all_gr_videos = []
+            all_gr_winners = []
             for env_domain, env_ids in ALL_ENV_IDS.items():
                 with gr.TabItem(env_domain):
                     for env_id in env_ids:
@@ -280,26 +315,28 @@ with gr.Blocks() as demo:
                         with gr.TabItem(tab_env_id):
                             logger.info(f"Creating tab for {env_id}")
                             with gr.Row(equal_height=False):
-                                # Display the leaderboard
-                                gr_df = gr.components.Dataframe(
-                                    headers=["🏆", "🧑 User", "🤖 Model id", "📊 Mean episodic return"],
-                                    datatype=["number", "markdown", "markdown", "number"],
-                                    row_count=(10, "fixed"),
-                                    scale=3,
-                                )
-
-                                # Play the video of the best model
-                                gr_video = gr.PlayableVideo(  # Doesn't loop for the moment, see https://github.com/gradio-app/gradio/issues/7689
-                                    scale=1,
-                                    min_width=50,
-                                    autoplay=True,
-                                    show_download_button=False,
-                                    show_share_button=False,
-                                    show_label=False,
-                                )
+                                with gr.Column(scale=3):
+                                    # Display the leaderboard
+                                    gr_df = gr.components.Dataframe(
+                                        headers=["🏆", "🧑 User", "🤖 Model id", "📊 Mean episodic return"],
+                                        datatype=["number", "markdown", "markdown", "number"],
+                                        row_count=(20, "fixed"),
+                                    )
+                                with gr.Column(scale=1):
+                                    with gr.Row():  # Display the env_id and the winner
+                                        gr_winner = gr.Markdown()
+                                    with gr.Row():  # Play the video of the best model
+                                        gr_video = gr.PlayableVideo(  # Doesn't loop for the moment, see https://github.com/gradio-app/gradio/issues/7689
+                                            min_width=50,
+                                            autoplay=True,
+                                            show_download_button=False,
+                                            show_share_button=False,
+                                            show_label=False,
+                                        )
 
                                 all_env_ids.append(env_id)
                                 all_gr_dfs.append(gr_df)
+                                all_gr_winners.append(gr_winner)
                                 all_gr_videos.append(gr_video)
 
         with gr.TabItem("📝 About"):
@@ -307,6 +344,7 @@ with gr.Blocks() as demo:
 
     demo.load(refresh_dataframes, outputs=all_gr_dfs, every=REFRESH_RATE)
     demo.load(refresh_videos, outputs=all_gr_videos, every=REFRESH_RATE)
+    demo.load(refresh_winners, outputs=all_gr_winners, every=REFRESH_RATE)
 
 
 scheduler = BackgroundScheduler()