The process '/usr/bin/xvfb-run' failed with exit code 1

Type '{ InteractiveMessageData: (__0: { msg: { p: string; readonly [tag]: "Lean.MessageData"; }; }) => { type: any; props: any; key: string | null; }; EditorContext: { Provider: (props: { value: { readonly api: { sendClientRequest: (uri: string, method: string, params: any) => Promise<...>; ... 11 more ...; closeRpcSessio...' does not satisfy the constraint '{ InteractiveMessageData: (__0: { msg: { p: string; readonly [tag]: "Lean.MessageData"; }; }) => { type: any; props: any; key: string | null; }; EditorContext: { Provider: (props: { value: { readonly api: { ...; }; ... 5 more ...; requestPlainTermGoal: (pos: { ...; }) => Promise<...>; }; children?: string | ... 6 mo...'.

The process 'C:\hostedtoolcache\windows\node\20.18.1\x64\npm.cmd' failed with exit code 1

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

This extension consists of 1512 files, out of which 361 are JavaScript files. For performance reasons, you should bundle your extension: https://aka.ms/vscode-bundle-extension. You should also exclude unnecessary files by adding them to your .vscodeignore: https://aka.ms/vscode-vscodeignore.