Update app.py

app.py

@@ -401,10 +401,8 @@ def run_batch(
     top_p: float,
     max_tokens: int,
     max_side: int,
-    time_budget_s: float | None = None,                    # respects Zero-GPU window
-    progress: gr.Progress | None = None) -> ...
-    if progress is None:
-        progress = gr.Progress(track_tqdm=True),  # drives the progress bar
+    time_budget_s: float = None,                            # respects Zero-GPU window
+    progress = gr.Progress(track_tqdm=True),                # drives the progress bar
 ) -> Tuple[List[dict], list, list, str, List[str], int, int]:
     """
     Returns: