Skip to content
vscode-lean4 build

vscode-lean4 build #3075

Sign in to view logs

vscode-lean4 build

vscode-lean4 build #3075

Manually triggered March 11, 2026 08:36
@mhuisimhuisi
⁠ a9abc9e
master
Status Success
Total duration 1m 33s
Artifacts –

on-push.yml

on: workflow_dispatch
publish-packages
1m 29s
publish-packages
release
0s
release
pre-release
0s
pre-release
Matrix: build-and-test
Fit to window
Zoom out
Zoom in

Annotations

3 errors
publish-packages
Process completed with exit code 1.
publish-packages
Process completed with exit code 1.
publish-packages
Process completed with exit code 1.
⚡