process 'git' exited with code 128 #102
-
|
I encountered problem when running "lake exe LeanCopilot/download", it says "process 'git' exited with code 128". Pictures of my terminal. And I ran lake build despite the "process 'git' exited with code 128", here follows the picture of my VScode after that. Please help!!! |
Beta Was this translation helpful? Give feedback.
Replies: 2 comments
-
|
It seems that this error suggests that one may not have access to the Internet and the git process. Is this the case for you? |
Beta Was this translation helpful? Give feedback.
-
|
Combining this discussion with Discussion #101 , which discusses the need for Internet access when running Lean Copilot. |
Beta Was this translation helpful? Give feedback.
It seems that this error suggests that one may not have access to the Internet and the git process. Is this the case for you?