Skip to content
vscode-lean4 build

Release 0.0.193 #2671

Sign in to view logs

Release 0.0.193

Release 0.0.193 #2671

Triggered via push January 30, 2025 14:59
@mhuisimhuisi
pushed 2a9d538
v0.0.193
Status Success
Total duration 6m 1s
Artifacts 1

on-push.yml

on: push
Matrix: build-and-test
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
Linux
Process completed with exit code 1.
Linux
Process completed with exit code 1.
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