Skip to content
vscode-lean4 build

Update dev.md lerna commands are outdated (and still not working) #1997

Sign in to view logs

Update dev.md lerna commands are outdated (and still not working)

Update dev.md lerna commands are outdated (and still not working) #1997

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linux
3m 48s
Windows
6m 13s
10m 1s