Skip to content
vscode-lean4 build

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linux
3m 34s
Windows
5m 21s
8m 55s