Skip to content
vscode-lean4 build

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

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 #2479

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linux
3m 25s
Windows
5m 3s
8m 28s