Skip to content
vscode-lean4 build

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

Sign in to view logs

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

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

Triggered via pull request March 8, 2025 02:16
@joneugsterjoneugster
synchronize #568
hhu-adam:clientsetup2
Status Failure
Total duration 2m 39s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

on-push.yml

on: pull_request
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.
⚡