Skip to content
vscode-lean4 build

fix: successive abbreviations in loogleview #3028

Sign in to view logs

fix: successive abbreviations in loogleview

fix: successive abbreviations in loogleview #3028

Triggered via pull request February 27, 2026 21:52
@mhuisimhuisi
synchronize #718
mhuisi:push-kqrkotqvyxkm
Status Failure
Total duration 8m 38s
Artifacts 1

on-push.yml

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

Annotations

1 error and 2 warnings
Windows
The process 'C:\hostedtoolcache\windows\node\24.14.0\x64\npm.cmd' failed with exit code 1
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.
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.

Artifacts

Produced during runtime
Name Size Digest
vscode-lean4
5.02 MB
sha256:e430094c313a07464e4dd6ab3b8f6e170ebb7c4117ad82a32e4934e2ca194bec
⚡