added logging

app.py

@@ -181,8 +181,10 @@ def rank_dataframe(dataframe):
 
 def run_update_dataset():
     path_ = download_leaderboard_dataset()
+    envs_length = len(rl_envs)
     for i in range(0, len(rl_envs)):
         rl_env = rl_envs[i]
+        print(f"Updating leaderboard for {rl_env['rl_env']} ({i + 1}/{envs_length})")
         update_leaderboard_dataset_parallel(rl_env["rl_env"], path_)
 
     api.upload_folder(