Skip to content
vscode-lean4 build

fix: initial commit not working on fresh Git install #2458

Sign in to view logs

fix: initial commit not working on fresh Git install

fix: initial commit not working on fresh Git install #2458

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linux
3m 35s
Windows
5m 44s
9m 19s