Formatted elapsed time

app.py

@@ -43,7 +43,7 @@ def user_logged_in(profile: gr.OAuthProfile):
 LOGIN_MESSAGE = "Please Login to Hugging Face with the button."
 EMPTY_RESULTS_TABLE = pd.DataFrame(columns=['task_id', 'question', 'answer'])
 
-def format_time(elapsed_time):
+def format_elapsed_time(elapsed_time):
     minutes = int(elapsed_time // 60)  # Get the whole number of minutes
     seconds = elapsed_time % 60  # Get the remaining seconds
 
@@ -59,7 +59,7 @@ def run_one(profile: gr.OAuthProfile | None) -> pd.DataFrame:
     questions = [evaluator.get_one_question()]
     question_answer_pairs = runner.run_agent(questions, profile.username)
     end_time = time.time()
-    message = f"Complete. Elapsed time: {format_time(end_time - start_time)}"
+    message = f"Complete. {format_elapsed_time(end_time - start_time)}"
     return message, question_answer_pairs
 
 def run_all(profile: gr.OAuthProfile | None) -> pd.DataFrame:
@@ -69,7 +69,7 @@ def run_all(profile: gr.OAuthProfile | None) -> pd.DataFrame:
     start_time = time.time()
     question_answer_pairs = runner.run_agent(questions, profile.username)
     end_time = time.time()
-    message = f"Complete. Elapsed time: {format_time(end_time - start_time)}"
+    message = f"Complete. {format_elapsed_time(end_time - start_time)}"
     return message, question_answer_pairs
 
 def submit(profile: gr.OAuthProfile | None) -> str: