refreshed data set and the last refresh datetime on a schedule

app.py

@@ -2,6 +2,7 @@ import os
 import json
 
 import datetime
+from apscheduler.schedulers.background import BackgroundScheduler
 import gradio as gr
 import pandas as pd
 from huggingface_hub import HfApi, snapshot_download
@@ -60,6 +61,20 @@ def get_last_refresh_time(path) -> str:
         return "Last update time not available"
 
 
+# Function to refresh the dataset periodically
+def refresh_dataset():
+    global path_
+    path_ = download_leaderboard_dataset()  # Redownload the dataset
+    global last_refresh_time
+    last_refresh_time = get_last_refresh_time(path_)
+
+
+# Set up a background scheduler to refresh the dataset every hour
+scheduler = BackgroundScheduler()
+scheduler.add_job(refresh_dataset, 'interval', minutes=15)
+scheduler.start()
+
+
 with block:
     path_ = download_leaderboard_dataset()
     # Get the last refresh time
@@ -68,7 +83,7 @@ with block:
     gr.Markdown(f"""
     # 🏆 Deep Reinforcement Learning Course Leaderboard (Mirror)🏆 
 
-    Presenting the latest leaderboard from the Hugging Face Deep RL Course.
+    Presenting the latest leaderboard from the Hugging Face Deep RL Course - refreshed at {last_refresh_time}.
     """)
 
     for i in range(0, len(rl_envs)):