Use unicode dots

app.py

@@ -33,7 +33,7 @@ SUBMISSION_INPUTS = dict.fromkeys((
 )).keys()
 
 def on_submit_pressed():
-    return gr.update(value='Processing submission...', interactive=False)
+    return gr.update(value='Processing submission…', interactive=False)
 
 def validate_submission_inputs(**inputs):
     if any(key for key, value in inputs.items() if key != "description" and value in (None, "")):
@@ -59,7 +59,7 @@ def process_submission(*inputs):
         metadata = SUBMISSION_INPUTS - {"submission_file"}
         metadata = {key: inputs[key] for key in metadata}
 
-        gr.Info('Submission valid, going to queue for the tournament...')
+        gr.Info('Submission valid, going to queue for the tournament…')
 
         pre_submit = leaderboard_server.prepare_model_for_submission(inputs["submission_file"], metadata)
     except ValueError as err: