Skip to content

Despite default models have already been downloaded locally, why doesn't it work without network connection? #101

Closed Answered by Peiyang-Song
cadake asked this question in Q&A
Discussion options

You must be logged in to vote

@cadake Even after downloading the models to your local end, it is still required to have Internet, and specifically, Git access. This is because when running Lean Copilot's tactics, it will always automatically check whether the local models are the same as the latest remote models. If not, a warning will be displayed to suggest the users to download the latest models. This check would need access to our latest remote models hosted online, which needs the Internet.

Replies: 1 comment 1 reply

Comment options

You must be logged in to vote
1 reply
@yangky11
Comment options

Answer selected by yangky11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
3 participants