Skip to content
vscode-lean4 build

chore: enable infoview debugging #3064

Sign in to view logs

chore: enable infoview debugging

chore: enable infoview debugging #3064

Triggered via pull request March 9, 2026 23:55
@Vtec234Vtec234
synchronize #732
mhuisi:push-oyonpynvpovm
Status Failure
Total duration 1m 39s
Artifacts –

on-push.yml

on: pull_request
publish-packages
0s
publish-packages
release
0s
release
pre-release
0s
pre-release
Matrix: build-and-test
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Linux
Process completed with exit code 1.
Windows
Process completed with exit code 1.
⚡