chore(ui): drop an unused suppression

2026-09-02 05:17:51 +02:00
parent 9080eb7dee
commit 1f051f261e
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));
      }
    };