revert DocsMenu change

loculus-project · Dec 18, 2024 · 36cc2d4 · 36cc2d4
1 parent b817828
commit 36cc2d4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/website/src/components/Navigation/DocsMenu.tsx b/website/src/components/Navigation/DocsMenu.tsx
@@ -5,7 +5,7 @@ import { type FC } from 'react';
 import XIcon from '~icons/material-symbols/close';
 import MenuIcon from '~icons/material-symbols/menu';
 
-type Page = MDXInstance<Record<string, unknown>>;
+type Page = MDXInstance<Record<string, any>>; // eslint-disable-line @typescript-eslint/no-explicit-any -- TODO(#3451) use a proper type
 
 interface DocsMenuProps {
     docsPages: Page[];