chore: add repository everywhere #3040
Annotations
2 warnings
|
Linux
This extension consists of 1097 files, out of which 243 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 1097 files, out of which 243 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 | Digest | |
|---|---|---|---|
|
vscode-lean4
|
5.02 MB |
sha256:9ab810279f79efb4658d1ac88ddaa13bcf49be9d39d6992444f23ca0a6996371
|
|