run recovery in background

src/gradio_space_ci/webhook.py

@@ -179,8 +179,9 @@ def configure_space_ci(
     server.add_webhook()(trigger_ci_on_pr)
     configure_webhook_on_hub()
 
-    # Recover missed webhooks
-    recover_after_restart(space_id=SPACE_ID)
+    # Recover missed webhooks (loop through PRs in the background)
+    background_pool.submit(recover_after_restart, space_id=SPACE_ID)
+
     return server
 
 
@@ -314,6 +315,10 @@ def is_pr_synced(space_id: str, pr_num: int) -> bool:
 
 def sync_ci_space(space_id: str, pr_num: int) -> None:
     print(f"New task: sync ephemeral env for {space_id} (PR {pr_num})")
+    if is_pr_synced(space_id=space_id, pr_num=pr_num):
+        print("Already synced. Nothing to do.")
+        return
+
     ci_space_id = _get_ci_space_id(space_id=space_id, pr_num=pr_num)
 
     # Create a temporary space for CI if didn't exist