Skip to content
vscode-lean4 build

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linux
3m 26s
Windows
5m 16s
8m 42s