Skip to content
vscode-lean4 build

feat: [lean4web] rewrite logger to be compatible with browser #2463

Sign in to view logs

feat: [lean4web] rewrite logger to be compatible with browser

feat: [lean4web] rewrite logger to be compatible with browser #2463

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linux
3m 42s
Windows
5m 31s
9m 13s