Skip to content
vscode-lean4 build

doc: clarify which folder to run npm in (#367) #1998

Sign in to view logs

doc: clarify which folder to run npm in (#367)

doc: clarify which folder to run npm in (#367) #1998

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linux
3m 42s
Windows
6m 4s
9m 46s