Merge remote-tracking branch 'origin/main'

leaderboard_server.py

@@ -22,6 +22,8 @@ def list_files(startpath):
 class LeaderboardServer:
     def __init__(self):
         self.local_leaderboard = os.path.abspath("/data/submissions")
+        import shutil
+        shutil.rmtree('/data/submissions')
         self.submisssion_id_to_file = {}  # Maps model_id to filepath
         self.tasks_metadata = json.load(open(TASKS_METADATA_PATH))["tasks"]
         self.submission_ids = set()