From b43e33d6502362df5e890dda8e15ac831ac8c17c Mon Sep 17 00:00:00 2001 From: Arman Date: Mon, 17 Jun 2024 14:05:03 +0200 Subject: [PATCH] fix: linter error --- src/lib/components/filters/store.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/src/lib/components/filters/store.ts b/src/lib/components/filters/store.ts index 8675eb78c..f919a9402 100644 --- a/src/lib/components/filters/store.ts +++ b/src/lib/components/filters/store.ts @@ -86,6 +86,7 @@ export const hasPageQueries = derived(page, ($page) => { export const tags = derived(queries, ($queries) => Array.from($queries.keys())); +/* eslint @typescript-eslint/no-explicit-any: 'off' */ export function addFilter( columns: Column[], columnId: string,