tune down diff wait time to 3 seconds (#808)

2025-09-23 09:39:59 +01:00
parent 98fc1a7269
commit 61f9f9ff14
1 changed files with 2 additions and 2 deletions
--- a/frontend/src/components/tasks/TaskDetails/DiffTab.tsx
+++ b/frontend/src/components/tasks/TaskDetails/DiffTab.tsx
@@ -35,14 +35,14 @@ function DiffTab({ selectedAttempt }: DiffTabProps) {
    }
  }, [diffs, loading]);

-  // If no diffs arrive within 7 seconds, stop showing the spinner
+  // If no diffs arrive within 3 seconds, stop showing the spinner
  useEffect(() => {
    if (!loading) return;
    const timer = setTimeout(() => {
      if (diffs.length === 0) {
        setLoading(false);
      }
-    }, 7000);
+    }, 3000);
    return () => clearTimeout(timer);
  }, [loading, diffs.length]);