chore(ui): drop an unused suppression

2026-09-02 05:17:51 +02:00
parent 5b851c11d4
commit 2afd3bc3c1
1 changed files with 0 additions and 1 deletions
@@ -115,7 +115,6 @@ export class ConversationIndex {
        } catch {
          this.warmed.delete(id);
        }
-        // biome-ignore lint/performance/noAwaitInLoops: the pause between fetches is the point
        await new Promise((resolve) => setTimeout(resolve, WARM_GAP_MS));
      }
    };