Release 0.0.188 (pre-release) #2635
Annotations
4 errors and 3 warnings
Linux
{"$id":"1","customProperties":{"Descriptor":null,"IdentityDisplayName":null,"Token":null,"RequestedPermissions":0,"NamespaceId":"00000000-0000-0000-0000-000000000000"},"innerException":null,"message":"Access Denied: The Personal Access Token used has expired.","typeName":"Microsoft.VisualStudio.Services.Security.AccessCheckException, Microsoft.VisualStudio.Services.WebApi","typeKey":"AccessCheckException","errorCode":0,"eventId":3000}
You're using an expired Personal Access Token, please get a new PAT.
More info: https://aka.ms/vscodepat
|
Linux
Process completed with exit code 1.
|
Windows
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...'.
|
Windows
The process 'C:\hostedtoolcache\windows\node\20.18.1\x64\npm.cmd' failed with exit code 1
|
Linux
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Linux
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.
|
Windows
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.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
vscode-lean4
|
5.39 MB |
|