Tuning the duration of some notifications

server.py

@@ -953,7 +953,7 @@ class LeaderboardServer:
             with submit_lock(timeout=5) as acquired:
                 if acquired:
                     info_msg = 'Running tournament...'
-                    gr.Info(info_msg, duration=15)
+                    gr.Info(info_msg, duration=40)
                     if do_submit:
                         print(f"Locked `submit_lock` for {submission_id = }")
                         print(info_msg)
@@ -978,10 +978,10 @@ class LeaderboardServer:
                     self.pre_submit[submission_id] = pre_submit
                     
                     info_msg = 'Tournament finished!'
-                    gr.Info(info_msg, duration=5)
+                    gr.Info(info_msg, duration=2)
                     if do_submit:
                         print(info_msg)
-                        gr.Info("Uploading…", duration=5)
+                        gr.Info("Uploading…", duration=40)
                         self._upload_submission(pre_submit.submission_id, pre_submit.file)
                         self._upload_tournament_results(pre_submit.tournament_results)
                         self.update_leaderboard()