Skip to content
vscode-lean4 build

feat: [lean4web] abstract lean client setup for websocket clients #2622

Sign in to view logs

feat: [lean4web] abstract lean client setup for websocket clients

feat: [lean4web] abstract lean client setup for websocket clients #2622

Triggered via pull request January 10, 2025 12:11
@joneugsterjoneugster
synchronize #496
hhu-adam:clientsetup
Status Failure
Total duration 3m 24s
Artifacts –

on-push.yml

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

Annotations

3 errors and 1 warning
Linux
Process completed with exit code 1.
Windows
unable to access 'https://github.com/leanprover/vscode-lean4/': Send failure: Connection was aborted
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