added last refreshed date time base on the date time of the CSV

app.py

@@ -2,6 +2,7 @@ import os
 import json
 import requests
 
+import datetime
 import gradio as gr
 import pandas as pd
 from huggingface_hub import HfApi, hf_hub_download, snapshot_download
@@ -165,6 +166,20 @@ def get_data(rl_env, path) -> pd.DataFrame:
     return data
 
 
+def get_last_refresh_time(path) -> str:
+    """
+    Get the latest modification time of any CSV file in the dataset path
+    """
+    # Get list of all CSV files in the dataset path
+    csv_files = [os.path.join(path, f) for f in os.listdir(path) if f.endswith('.csv')]
+    
+    # Get the latest modification time
+    latest_time = max([os.path.getmtime(f) for f in csv_files])
+    
+    # Convert to human-readable format
+    return datetime.fromtimestamp(latest_time).strftime('%Y-%m-%d %H:%M:%S')
+
+
 with block:
     gr.Markdown("""
     # 🏆 Deep Reinforcement Learning Course Leaderboard 🏆 
@@ -174,6 +189,11 @@ with block:
     
     path_ = download_leaderboard_dataset()
 
+    # Get the last refresh time
+    last_refresh_time = get_last_refresh_time(path_)
+    
+    gr.Markdown(f"**Last Data Refresh:** {last_refresh_time}")
+    
     for i in range(0, len(rl_envs)):
         rl_env = rl_envs[i]
         with gr.TabItem(rl_env["rl_env_beautiful"]):