feat: [lean4web] abstract lean client setup for websocket clients #2654
Annotations
1 error and 1 warning
|
Run tests
The process 'C:\hostedtoolcache\windows\node\20.18.1\x64\npm.cmd' failed with exit code 1
|
|
Package
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.
|
Loading