For the progress info used Markdown instead of Slider

app.py

@@ -291,6 +291,18 @@ def enable_submit_buttons():
 def results_dataset_integrity_check():
     leaderboard_server.results_dataset_integrity_check(solve=True)
 
+def update_results_dataset_integrity_solving_progress():
+    progress = leaderboard_server.tournament_results_integrity_solving_progress * 100
+    
+    if progress < 100:
+        return gr.update(
+            value=f"Tournament results is preparing, please wait… {progress:.0f}% done"
+        )
+    else:
+        return gr.update(
+            value="Tournament results is prepared, please refresh this page in your browser (e.g. by pressing F5)."
+        )
+
 def on_tournament_results_corrupted():
     if leaderboard_server.tournament_results_corrupted and not leaderboard_server.tournament_results_integrity_solving:
         results_dataset_integrity_check_btn = gr.update(
@@ -306,7 +318,6 @@ def on_tournament_results_corrupted():
             visible=False,
         )
         results_dataset_integrity_solving_progress = gr.update(
-            value=leaderboard_server.tournament_results_integrity_solving_progress * 100,
             visible=True,
         )
     
@@ -369,29 +380,25 @@ def gradio_app():
         gr.Markdown(HEADER_MARKDOWN)
         
         if leaderboard_server.tournament_results_corrupted:
+            gr.Markdown("## Results dataset integrity solving")
+            
             results_dataset_integrity_check_btn = gr.Button(
                 value='Check integrity of results dataset',
                 interactive=True,
                 visible=False,
             )
             
-            results_dataset_integrity_solving_progress = gr.Slider(
-                minimum=0,
-                maximum=100,
-                value=leaderboard_server.tournament_results_integrity_solving_progress * 100,
-                label="Tournament results is preparing, please wait…",
-                interactive=False,
+            results_dataset_integrity_solving_progress = gr.Markdown(
+                value=None,
                 visible=False,
             )
             
             results_dataset_integrity_solving_progress_timer = gr.Timer(
-                value=2,
+                value=60,  # seconds
             )
             
             results_dataset_integrity_solving_progress_timer.tick(
-                fn=lambda: gr.update(
-                    value=leaderboard_server.tournament_results_integrity_solving_progress * 100
-                ),
+                fn=update_results_dataset_integrity_solving_progress,
                 outputs=results_dataset_integrity_solving_progress
             )
             
@@ -414,6 +421,9 @@ def gradio_app():
                     results_dataset_integrity_check_btn,
                     results_dataset_integrity_solving_progress,
                 ]
+            ).then(
+                fn=update_results_dataset_integrity_solving_progress,
+                outputs=results_dataset_integrity_solving_progress
             )
             
             return main