lean-cli icon indicating copy to clipboard operation
lean-cli copied to clipboard

Check if Cloud IDE Open On Cloud Sync

Open jaredbroad opened this issue 2 years ago • 0 comments

Pushing to cloud is risky why cloud IDE is open. Need to force reload of the LEAN CLI data; or deny the sync request.

jaredbroad avatar Mar 16 '23 22:03 jaredbroad