*: fix #1
SayaOvOAnnotations
11 errors and 2 warnings
|
Linux
Process completed with exit code 1.
|
|
Windows:
lean4-infoview/src/infoview/rewriteModule.ts#L35
Strings must use singlequote
|
|
Windows:
lean4-infoview/src/infoview/rewriteModule.ts#L9
Strings must use singlequote
|
|
Windows:
lean4-infoview/src/infoview/rewriteModule.ts#L8
Strings must use singlequote
|
|
Windows:
lean4-infoview/src/infoview/rewriteModule.ts#L7
Strings must use singlequote
|
|
Windows:
lean4-infoview/src/infoview/rewriteModule.ts#L6
Strings must use singlequote
|
|
Windows:
lean4-infoview/src/infoview/rewriteModule.ts#L5
Strings must use singlequote
|
|
Windows:
lean4-infoview/src/infoview/rewriteModule.ts#L4
Strings must use singlequote
|
|
Windows:
lean4-infoview/src/infoview/rewriteModule.ts#L3
Strings must use singlequote
|
|
Windows:
lean4-infoview/src/infoview/rewriteModule.ts#L1
Strings must use singlequote
|
|
Windows:
lean4-infoview/src/infoview/main.tsx#L91
Strings must use singlequote
|
|
Linux
This extension consists of 1570 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 1570 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 | Digest | |
|---|---|---|---|
|
vscode-lean4
Expired
|
5.52 MB |
sha256:0b32e50e32b9bee45ca99240602c05cd76ad4d5492df9ecaad8d7e7b6611d42d
|
|