Skip to content
vscode-lean4 build

feat: [lean4web] abstract the implementation of infoview as a webview #2624

Sign in to view logs

feat: [lean4web] abstract the implementation of infoview as a webview

feat: [lean4web] abstract the implementation of infoview as a webview #2624

Triggered via pull request January 10, 2025 12:27
@joneugsterjoneugster
synchronize #495
hhu-adam:webview
Status Failure
Total duration 3m 6s
Artifacts –

on-push.yml

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

Annotations

2 errors and 1 warning
Linux
Process completed with exit code 1.
Windows
Process completed with exit code 1.
Linux
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636